Mathematical significance of consistency proofs

DOI10.2307/2964396zbMath0088.01502OpenAlexW2074560788MaRDI QIDQ3260570

Georg Kreisel

Publication date: 1959

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2964396

zbMATH Keywords

foundations of mathematics, philosophy, logic

Related Items (19)

Deduction-preserving “recursive isomorphisms” between theories ⋮ Dependent choice, `quote' and the clock ⋮ A constructive valuation semantics for classical logic ⋮ Herbrand analyses ⋮ A strong normalization result for classical logic ⋮ What does logic have to tell us about mathematical proofs? ⋮ Gentzen reduction revisited ⋮ On some algebraic ways to calculate zeros of the Riemann zeta function ⋮ The Riemann hypothesis as the parity of special binomial coefficients ⋮ What can be done with PRA? ⋮ Jean van Heijenoort's contributions to proof theory and its history ⋮ Martin Davis and Hilbert’s Tenth Problem ⋮ On the idea(l) of logical closure ⋮ Notes on constructive negation ⋮ The Riemann hypothesis in computer science ⋮ What can and cannot be done with Diophantine problems ⋮ A continuous, constructive solution to Hilbert's \(17^{th}\) problem ⋮ La théorie des fonctions récursives et ses applications. (Exposé d'information générale) ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

Cites Work

• On ordered fields and definite functions
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• Some concepts concerning formal systems of number theory
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)

This page was built for publication: Mathematical significance of consistency proofs