Pages that link to "Item:Q3260570"
From MaRDI portal
The following pages link to Mathematical significance of consistency proofs (Q3260570):
Displaying 18 items.
- What can and cannot be done with Diophantine problems (Q741171) (← links)
- A continuous, constructive solution to Hilbert's \(17^{th}\) problem (Q798716) (← links)
- What does logic have to tell us about mathematical proofs? (Q1135835) (← links)
- Gentzen reduction revisited (Q1140640) (← links)
- What can be done with PRA? (Q1147134) (← links)
- On the idea(l) of logical closure (Q1192341) (← links)
- A constructive valuation semantics for classical logic (Q1355127) (← links)
- Dependent choice, `quote' and the clock (Q1884884) (← links)
- A strong normalization result for classical logic (Q1902976) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- The Riemann hypothesis in computer science (Q2286749) (← links)
- Notes on constructive negation (Q2500818) (← links)
- Herbrand analyses (Q2641297) (← links)
- Martin Davis and Hilbert’s Tenth Problem (Q3305315) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- La théorie des fonctions récursives et ses applications. (Exposé d'information générale) (Q5536266) (← links)
- Deduction-preserving “recursive isomorphisms” between theories (Q5561955) (← links)
- The Riemann hypothesis as the parity of special binomial coefficients (Q6132479) (← links)
