Pages that link to "Item:Q3370623"
From MaRDI portal
The following pages link to Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation (Q3370623):
Displaying 7 items.
- Erratum to: ``Between proof and truth'' (Q383075) (← links)
- The consistency of arithmetic (Q666895) (← links)
- Die another day (Q2272192) (← links)
- The Gödel Editorial Project: A Synopsis (Q3370617) (← links)
- Extending the First Gentzen's Consistency Proof to the Intuitionistic Case (Q4656552) (← links)
- (Q4986736) (← links)
- Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics (Q5213764) (← links)