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
- Reference number
-
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-19
- Extent
-
1 Sonderdruck
- Context
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Holding
-
PAKN, GK Georg Kreisel
- Indexentry person
- Date of creation
-
1955
- Other object pages
- Last update
-
01.03.2023, 7:50 AM CET
Data provider
This object is provided by:
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Object type
- Sachakte
Time of origin
- 1955
Other Objects (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.
Reusing Proofs
Smooth estimation of rating transitions by nearest neighbors : Consistency and Application
The General Concept of Multidimensional Consistency: Some Algebraic Aspects of the Aggregation Problem
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.
Reusing Proofs
Smooth estimation of rating transitions by nearest neighbors : Consistency and Application
The General Concept of Multidimensional Consistency: Some Algebraic Aspects of the Aggregation Problem
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.
Reusing Proofs
Smooth estimation of rating transitions by nearest neighbors : Consistency and Application
The General Concept of Multidimensional Consistency: Some Algebraic Aspects of the Aggregation Problem