May 24
Laurence Kirby, Baruch College
The winding road to mathematical independence results for PA

Advances in understanding the incompleteness of PA in the 1970s and 80s built on the work of an earlier generation in the 1930s and 40s. This talk will offer historical and personal reflections on what was known, and what was not known, by both generations of logicians.

Video

‚Äč