Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs

DOI10.1080/01445340310001606930zbMath1069.03002arXivmath/0204255OpenAlexW2054239358WikidataQ58539928 ScholiaQ58539928MaRDI QIDQ3160441

Richard Zach

Publication date: 9 February 2005

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0204255

zbMATH Keywords

consistency proofsHilbert's programmeepsilon theorems

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Related Items (6)

Wave equation numerical resolution: a comprehensive mechanized proof of a C program ⋮ EPSILON THEOREMS IN INTERMEDIATE LOGICS ⋮ TWO (OR THREE) NOTIONS OF FINITISM ⋮ On Bourbaki's axiomatic system for set theory ⋮ The habilitation of John von Neumann at Friedrich-Wilhelms-Universität in Berlin: judgements on a Hungarian-Jewish mathematician in the Germany of 1927 ⋮ The epsilon calculus and Herbrand complexity

Cites Work

• Zur Widerspruchsfreiheit der Zahlentheorie
• HILBERT'S PROGRAMME
• A survey of proof theory
• On the Interpretation of Non-Finitist Proofs--Part I
• The consistency of arithmetics

This page was built for publication: Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs