Hilbert's programme
Osnova sekce
-
The class on Monday March 28 is cancelled. Use the time to read up on Hilbert's programme which we will discuss on April 4.
- Zach's paper provides a summary and discusses current development.
- Smorynski's paper is well-known and provide detailed historical context.
- If interested, read the link on epsilon-calculus.
- For more mathematical details regarding the transfinite induction in PA, with more context for espsilon_0, read the paper Transfinite induction in Peano arithmetic, Richard Sommer, APAL (1995).