- Other
- SEE MORE
- classical
- general
- talk
- News
- Family
- Bürgerfunk
- pop
- Islam
- soul
- jazz
- Comedy
- humor
- wissenschaft
- opera
- baroque
- gesellschaft
- theater
- Local
- alternative
- electro
- rock
- rap
- lifestyle
- Music
- como
- RNE
- ballads
- greek
- Buddhism
- deportes
- christian
- Technology
- piano
- djs
- Dance
- dutch
- flamenco
- social
- hope
- christian rock
- academia
- afrique
- Business
- musique
- ελληνική-μουσική
- religion
- World radio
- Zarzuela
- travel
- World
- NFL
- media
- Art
- public
- Sports
- Gospel
- st.
- baptist
- Leisure
- Kids & Family
- musical
- club
- Culture
- Health & Fitness
- True Crime
- Fiction
- children
- Society & Culture
- TV & Film
- gold
- kunst
- música
- gay
- Natural
- a
- francais
- bach
- economics
- kultur
- evangelical
- tech
- Opinion
- Government
- gaming
- College
- technik
- History
- Jesus
- Health
- movies
- radio
- services
- Church
- podcast
- Education
- international
- Transportation
- kids
- podcasts
- philadelphia
- Noticias
- love
- sport
- Salud
- film
- and
- 4chan
- Disco
- Stories
- fashion
- Arts
- interviews
- hardstyle
- entertainment
- humour
- medieval
- literature
- alma
- Cultura
- video
- TV
- Science
- en
Infinity 9: Something of a change of pace
b"Beckett. \\xa0Who he was. \\xa0His interest in Augustine. \\xa0Hilarity and depth of his work. Augustine. \\xa0Back to Poincarr\\xe9 on math induction. \\xa0What we can see here and now. \\xa0Difference between induction and deduction. Wittgenstein's point, from Poincarr\\xe9, that proof by induction doesn't yield one QED, one string of symbols as the end-point of a mechanical process but two. \\xa0It's only in the mind that the two can be combined into a single insight: this is a synthetic activity. \\xa0We may make claims about an infinite number of examples but we have to synthesize those claims. \\xa0Turing machines (and who Turing was). \\xa0Relation to formal manipulation of symbols. \\xa0States and soda machines."