Goodstein sequences

Will Sladek, a student at Caltech, wrote an excellent introductory paper on incompleteness in \mathsf{PA}, The termite and the tower. While Will was working on his paper, I wrote a short note, Goodstein’s function, on how to compute Goodstein’s function. Please let me know of any comments of corrections to either article.

Update: My paper has been published.

Goodstein’s function. Revista Colombiana de Matemáticas 41 (2)(2007), 381–391. MR2585906 (2011c:03139)Zbl 1156.03053.


2 Responses to Goodstein sequences

  1. […] a nice introduction to incompleteness and Goodstein’s theorem, see Will Sladek’s paper here. Possibly related posts: (automatically generated)Partitioning numbersUS concerns of decline in […]

  2. […] (an undergraduate student of mine at Caltech wrote a nice paper on this a few years ago, “The termite and the tower.“). There are others. A nice one is about a game, Hercules and the […]

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: