The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program

arXivmath/0102189MaRDI QIDQ6470950

Richard Zach

Publication date: 23 February 2001

Mathematics Subject Classification ID

01A60: History of mathematics in the 20th century

03-03: History of mathematical logic and foundations

03F03: Proof theory in general (including proof-theoretic semantics)