Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs
From MaRDI portal
Publication:3160441
DOI10.1080/01445340310001606930zbMath1069.03002arXivmath/0204255WikidataQ58539928 ScholiaQ58539928MaRDI QIDQ3160441
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
01A60: History of mathematics in the 20th century
03-03: History of mathematical logic and foundations
Related Items
EPSILON THEOREMS IN INTERMEDIATE LOGICS, Wave equation numerical resolution: a comprehensive mechanized proof of a C program, The epsilon calculus and Herbrand complexity, The habilitation of John von Neumann at Friedrich-Wilhelms-Universität in Berlin: judgements on a Hungarian-Jewish mathematician in the Germany of 1927, On Bourbaki's axiomatic system for set theory, TWO (OR THREE) NOTIONS OF FINITISM
Cites Work