Ackermann ordinal (original) (raw)
In mathematics, the Ackermann ordinal is a certain large countable ordinal, named after Wilhelm Ackermann. The term "Ackermann ordinal" is also occasionally used for the small Veblen ordinal, a somewhat larger ordinal. The smaller Ackermann ordinal is the limit of a system of ordinal notations invented by , and is sometimes denoted by or , , or , where Ω is the smallest uncountable ordinal. Ackermann's system of notation is weaker than the system introduced much earlier by , which he seems to have been unaware of.
Property | Value |
---|---|
dbo:abstract | In mathematics, the Ackermann ordinal is a certain large countable ordinal, named after Wilhelm Ackermann. The term "Ackermann ordinal" is also occasionally used for the small Veblen ordinal, a somewhat larger ordinal. Unfortunately there is no standard notation for ordinals beyond the Feferman–Schütte ordinal Γ0. Most systems of notation use symbols such as ψ(α), θ(α), ψα(β), some of which are modifications of the Veblen functions to produce countable ordinals even for uncountable arguments, and some of which are "collapsing functions". The last one is an extension of the Veblen functions for more than 2 arguments. The smaller Ackermann ordinal is the limit of a system of ordinal notations invented by , and is sometimes denoted by or , , or , where Ω is the smallest uncountable ordinal. Ackermann's system of notation is weaker than the system introduced much earlier by , which he seems to have been unaware of. (en) |
dbo:wikiPageID | 16137162 (xsd:integer) |
dbo:wikiPageLength | 2039 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID | 1111196143 (xsd:integer) |
dbo:wikiPageWikiLink | dbr:Feferman–Schütte_ordinal dbr:Wilhelm_Ackermann dbr:Large_countable_ordinal dbc:Ordinal_numbers dbr:Small_Veblen_ordinal dbr:Veblen_function dbr:Smallest_uncountable_ordinal dbr:Collapsing_function |
dbp:wikiPageUsesTemplate | dbt:About dbt:Citation dbt:Cite_arXiv dbt:Harvtxt dbt:Short_description dbt:Countable_ordinals dbt:Settheory-stub |
dct:subject | dbc:Ordinal_numbers |
rdf:type | yago:WikicatOrdinalNumbers yago:Abstraction100002137 yago:DefiniteQuantity113576101 yago:Measure100033615 yago:Number113582013 yago:OrdinalNumber113597280 |
rdfs:comment | In mathematics, the Ackermann ordinal is a certain large countable ordinal, named after Wilhelm Ackermann. The term "Ackermann ordinal" is also occasionally used for the small Veblen ordinal, a somewhat larger ordinal. The smaller Ackermann ordinal is the limit of a system of ordinal notations invented by , and is sometimes denoted by or , , or , where Ω is the smallest uncountable ordinal. Ackermann's system of notation is weaker than the system introduced much earlier by , which he seems to have been unaware of. (en) |
rdfs:label | Ackermann ordinal (en) |
owl:sameAs | yago-res:Ackermann ordinal freebase:Ackermann ordinal wikidata:Ackermann ordinal http://ta.dbpedia.org/resource/ஆக்கர்மான்_வரிசை https://global.dbpedia.org/id/4KmTo |
prov:wasDerivedFrom | wikipedia-en:Ackermann_ordinal?oldid=1111196143&ns=0 |
foaf:isPrimaryTopicOf | wikipedia-en:Ackermann_ordinal |
is dbo:wikiPageDisambiguates of | dbr:Ackermann |
is dbo:wikiPageRedirects of | dbr:Ackerman's_ordinal dbr:Ackerman_ordinal dbr:Ackermann's_ordinal |
is dbo:wikiPageWikiLink of | dbr:Path_ordering_(term_rewriting) dbr:Ordinal_collapsing_function dbr:Ordinal_notation dbr:Kruskal's_tree_theorem dbr:Wilhelm_Ackermann dbr:Ackermann dbr:Small_Veblen_ordinal dbr:Veblen_function |
is foaf:primaryTopic of | wikipedia-en:Ackermann_ordinal |