I am very fond of Goodstein's theorem and especially of its proof, using ordinal arithmetic to prove that an integer sequence (which at first sight seems hopelessly increasing) is ultimately zero. See for instance http://en.wikipedia.org/wiki/Goodstein%27s_theoremhere.
|
2 | added 10 characters in body | ||
|
|
||||
|
Post Undeleted by Laurent Moret-Bailly
|
||||
|
|
||||
|
Post Deleted by Laurent Moret-Bailly
|
||||
|
|
||||
|
1 | [made Community Wiki] | ||
