Pages that link to "Item:Q3160441"
From MaRDI portal
The following pages link to Hilbert's ‘<i>Verunglückter Beweis</i>’, the first epsilon theorem, and consistency proofs (Q3160441):
Displaying 6 items.
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program (Q352952) (← links)
- The epsilon calculus and Herbrand complexity (Q817706) (← links)
- The habilitation of John von Neumann at Friedrich-Wilhelms-Universität in Berlin: judgements on a Hungarian-Jewish mathematician in the Germany of 1927 (Q973454) (← links)
- On Bourbaki's axiomatic system for set theory (Q2263057) (← links)
- TWO (OR THREE) NOTIONS OF FINITISM (Q3550708) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← links)
