Goodstein's theorem
English edit
Etymology edit
Named after Reuben Goodstein (1912-1985), English mathematician.
Proper noun edit
- (mathematics) A theorem stating that every Goodstein sequence eventually terminates at zero.
Named after Reuben Goodstein (1912-1985), English mathematician.