Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs
Work
Year: 2004
Type: article
Abstract: In the 1920s, Ackermann and von Neumann, in pursuit of Hilbert's Programme, were working on consistency proofs for arithmetical systems. One proposed method of giving such proofs is Hilbert's epsilon-... more
Source: History and Philosophy of Logic
Author Richard Zach
Institution University of Calgary
Cites: 43
Cited by: 30
Related to: 10
FWCI: 5.1
Citation percentile (by year/subfield): 93.79
Subfield: History and Philosophy of Science
Field: Arts and Humanities
Domain: Social Sciences
Open Access status: green