In mathematics, the Feferman–Schütte ordinal Γ0 is a large countable ordinal. It is the proof theoretic ordinal of several mathematical theories. It is named after Solomon Feferman and Kurt Schütte. It is sometimes said to be the first impredicative ordinal, though this is controversial, partly because there is no generally accepted precise definition of "predicative". Sometimes an ordinal is said to be predicative if it is less than Γ0.

PropertyValue
dbpprop:abstract
  • In mathematics, the Feferman–Schütte ordinal Γ0 is a large countable ordinal. It is the proof theoretic ordinal of several mathematical theories. It is named after Solomon Feferman and Kurt Schütte. It is sometimes said to be the first impredicative ordinal, though this is controversial, partly because there is no generally accepted precise definition of "predicative". Sometimes an ordinal is said to be predicative if it is less than Γ0.
  • 在數學中，菲弗曼-舒特序數 Γ0 是一個大可數序數。它是若干數學理論的序分析依據。它以所羅門·菲弗曼和庫爾特·舒特命名。 人們有時稱它是第一個非斷言序數，雖然這是有爭議的，部分原因是由於沒有普遍接受的確切定義“非斷言”。有時，序數如果少於Γ0就被稱為斷言。
rdfs:comment
  • In mathematics, the Feferman–Schütte ordinal Γ0 is a large countable ordinal. It is the proof theoretic ordinal of several mathematical theories. It is named after Solomon Feferman and Kurt Schütte. It is sometimes said to be the first impredicative ordinal, though this is controversial, partly because there is no generally accepted precise definition of "predicative". Sometimes an ordinal is said to be predicative if it is less than Γ0.
  • 在數學中，菲弗曼-舒特序數 Γ0 是一個大可數序數。它是若干數學理論的序分析依據。它以所羅門·菲弗曼和庫爾特·舒特命名。 人們有時稱它是第一個非斷言序數，雖然這是有爭議的，部分原因是由於沒有普遍接受的確切定義“非斷言”。有時，序數如果少於Γ0就被稱為斷言。
rdfs:label
  • Feferman–Schütte ordinal
  • 菲弗曼-舒特序數
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of