University of Calgary
UofC Navigation

Constructive Ordinals and the Consistency of PA

LogBlog Has Moved!

You are looking at the old blog archive. LogBlog has moved to
If you'd like to receive updates on new posts, please subscribe there!

Submitted by Richard Zach on Mon, 03/17/2014 - 4:45pm

Today's the last of three lectures on Gentzen's second proof of the consistency of PA in my proof theory course.

a) Still looking for good resources on ordinal notations, esp., $<\epsilon_0$, especially around the question how one can "see" that they are well-ordered without mentioning that they are order-isomorphic to $\epsilon_0$  Takeuti has a discussion in his textbook, anything else?

b) Some fun links:

Andrej Bauer's Hydra game applet:

David Madore's ordinal visualizer:

c) Looking for a good intro to Goodstein's theorem and incompleteness in PA: Will Sladek's paper linked from Andrés Caicedo's blog: