Beckett. Who he was. His interest in Augustine. Hilarity and depth of his work. Augustine. Back to Poincarré on math induction. What we can see here and now. Difference between induction and deduction. Wittgenstein's point, from Poincarré, that proof by induction doesn't yield one QED, one string of symbols as the end-point of a mechanical process but two. It's only in the mind that the two can be combined into a single insight: this is a synthetic activity. We may make claims about an infinite number of examples but we have to synthesize those claims. Turing machines (and who Turing was). Relation to formal manipulation of symbols. States and soda machines.