Goodstein's theorem

Property	Value
rdf:type	owl:NamedIndividual Article containing proofs Integer sequence Large number Theorem in the foundations of mathematics Numeral system topic Mathematical proof Numeral system
rdfs:label	Goodstein's theorem
owl:sameAs	dbr:Goodstein's_theorem
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Hyperoperation http://en.wikipedia.org/wiki/Category:Large_numbers http://en.wikipedia.org/wiki/Category:Theorems_in_the_foundations_of_mathematics http://en.wikipedia.org/wiki/Primitive_recursive_function http://en.wikipedia.org/wiki/Category:Numeral_systems http://en.wikipedia.org/wiki/List_of_numeral_systems http://en.wikipedia.org/wiki/Category:Integer_sequences http://en.wikipedia.org/wiki/List_of_integer_sequences http://en.wikipedia.org/wiki/List_of_theorems http://en.wikipedia.org/wiki/Category:Articles_containing_proofs http://en.wikipedia.org/wiki/List_of_numeral_system_topics http://en.wikipedia.org/wiki/Fast-growing_hierarchy http://en.wikipedia.org/wiki/List_of_mathematical_proofs
skos:prefLabel	Goodstein's theorem
skos:altLabel	Goodstein's theorem#Sequence length as a function of the starting value Goodstein function Goodstein sequences Hereditary base-n notation Kirby–Paris theorem hydra game hydra theorem
is clgo:knownFor of	Reuben Goodstein Jeff Paris (mathematician)

About: clgr:Goodstein's_theorem