Akten
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
-
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
-
10.06.2025, 11:28 AM CEST
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
Proofs and Provability
On the interpretation of non-finitist proofs II
Mathematical significance of consistency proofs
Two proofs of Cichon's maximum II.
Schematic Program Proofs with Abstract Execution : Theory and Applications
Synthetic proofs
Reusing Proofs
Some application of formalized consistency proofs
Proofs of Feuerbach's theorem.
Non-gaussian component analysis: New ideas, new proofs, new applications
Informal rigour and completeness proofs
Relative consistency proofs. II
Proofs and Provability
On the interpretation of non-finitist proofs II
Mathematical significance of consistency proofs
Two proofs of Cichon's maximum II.
Schematic Program Proofs with Abstract Execution : Theory and Applications
Synthetic proofs
Reusing Proofs
Some application of formalized consistency proofs
Proofs of Feuerbach's theorem.
Non-gaussian component analysis: New ideas, new proofs, new applications
Informal rigour and completeness proofs
Relative consistency proofs. II
Proofs and Provability
On the interpretation of non-finitist proofs II
Mathematical significance of consistency proofs
Two proofs of Cichon's maximum II.
Schematic Program Proofs with Abstract Execution : Theory and Applications
Synthetic proofs
Reusing Proofs
Some application of formalized consistency proofs
Proofs of Feuerbach's theorem.
Non-gaussian component analysis: New ideas, new proofs, new applications