“Ackermann ordinal”的意思、由来-开放百科全书

词条

Ackermann ordinal

释义

References

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 Γ₀. 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 smaller Ackermann ordinal is the limit of a system of ordinal notations invented by {{harvtxt|Ackermann|1951}}, and is sometimes denoted by or or . Ackermann's system of notation is weaker than the system introduced much earlier by {{harvtxt|Veblen|1908}}, which he seems to have been unaware of.

References

{{citation|mr=0039669|last=Ackermann|first= Wilhelm |title=Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse

|journal=Math. Z. |volume=53|year=1951|pages= 403–413|doi=10.1007/BF01175640|issue=5}}

{{citation |title= Continuous Increasing Functions of Finite and Transfinite Ordinals |first=Oswald |last=Veblen

|journal=Transactions of the American Mathematical Society |volume= 9|issue= 3|year= 1908|pages=280–292 |doi= 10.2307/1988605|jstor=1988605 }}

{{cite arxiv |last=Weaver|first=Nik|eprint=math/0509244|title=Predicativity beyond Γ₀|year=2005|mode=cs2}}

1 : Ordinal numbers

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。