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

From MaRDI portal

Revision as of 10:21, 10 July 2024 by Import240710060729 (talk | contribs) (Created automatically from import240710060729)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:6470950

Jump to:navigation, search

arXivmath/0102189MaRDI QIDQ6470950

Richard Zach

Publication date: 23 February 2001

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)

This page was built for publication: The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6470950&oldid=36173266"