Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Ordinal Analysis
CHF 146.75
Auf Lager
SKU
H7ED0P35R39
1 Verfügbar 
Geliefert zwischen Mi., 29.04.2026 und Do., 30.04.2026
Details
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In proof theory, ordinal analysis assigns ordinals (often large countable ordinals) to mathematical theories as a measure of their strength. The field was formed when Gerhard Gentzen in 1934 used cut elimination to prove, in modern terms, that the proof theoretic ordinal of Peano arithmetic is 0.Ordinal analysis concerns true, effective (recursive) theories that can interpret a sufficient portion of arithmetic to make statements about ordinal notations. The proof theoretic ordinal of such a theory is the smallest recursive ordinal that the theory cannot prove is well founded the supremum of all ordinals for which there exists a notation o in Kleene''s sense such that T proves that o is an ordinal notation. Equivalently, it is the supremum of all ordinals such that there exists a recursive relation R on (the set of natural numbers) which well-orders it with ordinal and such that T proves transfinite induction of arithmetical statements for R.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131299476
- Editor Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
- Größe H220mm x B220mm
- EAN 9786131299476
- Format Fachbuch
- Titel Ordinal Analysis
- Herausgeber Betascript Publishing
- Anzahl Seiten 84
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
