Sachakte
Applications of formalized consitency proofs II
Enthält: zwei Sonderdrucke des zusammen mit Hao Wang publizierten Artikels "Applications of formalized consitency proofs II" aus Fundamenta Mathematicae 45 (1958)
Wang, Hao; Logiker, Philosoph, Mathematiker, 1921 - 1995
- Reference number
-
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-29
- Extent
-
2 Sonderdrucke
- Context
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Holding
-
PAKN, GK Georg Kreisel
- Indexentry person
- Date of creation
-
1958
- 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
- 1958
Other Objects (12)
Relative consistency proofs. II
Mathematical significance of consistency proofs
On the interpretation of non-finitist proofs II
Proofs and Provability
Some application of formalized consistency proofs
Two proofs of Cichon's maximum II.
Proofs of Feuerbach's theorem.
Reusing Proofs
Informal rigour and completeness proofs
On the interpretation of non-finitist proofs I
Non-gaussian component analysis: New ideas, new proofs, new applications
Termination Proofs of Rewriting Systems
Relative consistency proofs. II
Mathematical significance of consistency proofs
On the interpretation of non-finitist proofs II
Proofs and Provability
Some application of formalized consistency proofs
Two proofs of Cichon's maximum II.
Proofs of Feuerbach's theorem.
Reusing Proofs
Informal rigour and completeness proofs
On the interpretation of non-finitist proofs I
Non-gaussian component analysis: New ideas, new proofs, new applications
Termination Proofs of Rewriting Systems
Relative consistency proofs. II
Mathematical significance of consistency proofs
On the interpretation of non-finitist proofs II
Proofs and Provability
Some application of formalized consistency proofs
Two proofs of Cichon's maximum II.
Proofs of Feuerbach's theorem.
Reusing Proofs
Informal rigour and completeness proofs
On the interpretation of non-finitist proofs I
Non-gaussian component analysis: New ideas, new proofs, new applications