VON NEUMANN’S CONSISTENCY PROOF

DOI10.1017/S1755020316000198zbMath1415.03005MaRDI QIDQ5737949

Luca Bellotti

Publication date: 31 May 2017

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

zbMATH Keywords

proof theoryconsistency proofsJohn von Neumannhistory of proof theoryaxiomatic systems of arithmeticsuccessor axioms

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Complexity of proofs (03F20) Relative consistency and interpretations (03F25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The epsilon calculus and Herbrand complexity
• The computational complexity of logical theories
• Epsilon substitution method for elementary analysis
• Ackermann's substitution method (remixed)
• The substitution method
• The classical decision problem.

This page was built for publication: VON NEUMANN’S CONSISTENCY PROOF