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

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)