Formalism and Hilbert's understanding of consistency problems (Q2042732)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formalism and Hilbert's understanding of consistency problems |
scientific article; zbMATH DE number 7373421
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalism and Hilbert's understanding of consistency problems |
scientific article; zbMATH DE number 7373421 |
Statements
Formalism and Hilbert's understanding of consistency problems (English)
0 references
21 July 2021
0 references
axiomatic method
0 references
Bernays
0 references
conceptions of consistency
0 references
model-construction approach to consistency
0 references
direct approach to consistency
0 references
formal reasoning
0 references
formalism
0 references
Brouwer
0 references
Dedekind
0 references
Frege
0 references
Heine
0 references
Hilbert
0 references
observational orientation towards consistency problems
0 references
proof
0 references
proof theory
0 references
rigor
0 references
Thomae
0 references
Weyl
0 references
