Will Sladek, a student at Caltech, wrote an excellent introductory paper on incompleteness in , 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.
This entry was posted on Friday, July 27th, 2007 at 2:44 pm and is filed under Incompleteness. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.
[…] 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 […]
[…] (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 […]
A kind of library 
[…] 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 […]
[…] (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 […]