Goodstein's theorem revisited (Q5361250)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6781287
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Goodstein's theorem revisited |
scientific article; zbMATH DE number 6781287 |
Statements
Goodstein’s Theorem Revisited (English)
0 references
27 September 2017
0 references
Peano arithmetic
0 references
Goodstein sequences
0 references
independence result
0 references
incompleteness
0 references
0.7973516583442688
0 references
0.7600833773612976
0 references
0.759251594543457
0 references
0.7551031708717346
0 references
