Facts
Citation
URLhttps://en.wikipedia.org/wiki/Kirby%E2%80%93Paris_theorem
Sources
Wikipedia: Kirby-Paris theorem
Lead sectionQuote, Lead section
In mathematical logic, Goodstein's theorem is a statement about the natural numbers, proved by Reuben Goodstein in 1944, which states that every Goodstein sequence (as defined below) eventually terminates at 0.
Claims Backed By This Source (4 claims)
This source backs 4 claims across the atlas. As facts: 3 well-attested. Plus 1 entities citing it as a general reference with no single fact or relationship attached.
Disposition By Topic
- Mathematical Objects, 3 claims: 2 well-attested, 1 general references.
- Sources, 1 claims: 1 well-attested.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.