Goodstein's theorem
English
Etymology
Named after Reuben Goodstein (1912-1985), English mathematician.
Proper noun
- (mathematics) A theorem stating that every Goodstein sequence eventually terminates at zero.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.