Sachakte
Some application of formalized consistency proofs
Enthält: einen Sonderdruck des zusammen mit Hao Wang veröffentlichten Artikels "Some application of formalized consistency proofs" aus Fundamenta Mathematicae 42 (1955)
Wang, Hao; Logiker, Philosoph, Mathematiker, 1921 - 1995
- Archivaliensignatur
-
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-19
- Umfang
-
1 Sonderdruck
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Indexbegriff Person
- Laufzeit
-
1955
- Weitere Objektseiten
- Letzte Aktualisierung
-
01.03.2023, 07:50 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Sachakte
Entstanden
- 1955
Ähnliche Objekte (12)
Mathematical significance of consistency proofs
Relative consistency proofs. II
Proofs of some theorems of M. Liouville on definite integrals.
Some facts from the theory of proofs and some fictions from general proof theory
Some consistency strength analyses using higher core models
Some consistency strength analyses using higher core models
Consistency of expert product reviews: An application to wine guides
Proofs of Feuerbach's theorem.
The General Concept of Multidimensional Consistency: Some Algebraic Aspects of the Aggregation Problem
Reusing Proofs
Smooth estimation of rating transitions by nearest neighbors : Consistency and Application
Termination Proofs of Rewriting Systems
Mathematical significance of consistency proofs
Relative consistency proofs. II
Proofs of some theorems of M. Liouville on definite integrals.
Some facts from the theory of proofs and some fictions from general proof theory
Some consistency strength analyses using higher core models
Some consistency strength analyses using higher core models
Consistency of expert product reviews: An application to wine guides
Proofs of Feuerbach's theorem.
The General Concept of Multidimensional Consistency: Some Algebraic Aspects of the Aggregation Problem
Reusing Proofs
Smooth estimation of rating transitions by nearest neighbors : Consistency and Application
Termination Proofs of Rewriting Systems
Mathematical significance of consistency proofs
Relative consistency proofs. II
Proofs of some theorems of M. Liouville on definite integrals.
Some facts from the theory of proofs and some fictions from general proof theory
Some consistency strength analyses using higher core models
Some consistency strength analyses using higher core models
Consistency of expert product reviews: An application to wine guides
Proofs of Feuerbach's theorem.
The General Concept of Multidimensional Consistency: Some Algebraic Aspects of the Aggregation Problem
Reusing Proofs
Smooth estimation of rating transitions by nearest neighbors : Consistency and Application