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
- Archivaliensignatur
-
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-29
- Umfang
-
2 Sonderdrucke
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Indexbegriff Person
- Laufzeit
-
1958
- 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
- 1958
Ähnliche Objekte (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