Hilbert's logic. From axiomatics to proof theory (Q1267397)
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: Hilbert's logic. From axiomatics to proof theory |
scientific article; zbMATH DE number 1208069
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Hilbert's logic. From axiomatics to proof theory |
scientific article; zbMATH DE number 1208069 |
Statements
Hilbert's logic. From axiomatics to proof theory (English)
0 references
2 March 1999
0 references
This is a well-documented survey of the development of David Hilbert's views on foundational questions, starting with the foundations of geometry in the 1890s and ending with the proof-theoretical programme of the 1920s. The paper is organized around the question of Hilbert's understanding of logic and of its function in mathematics, the influences under which that understanding evolved, as well as its position in the foundational world of the 20th century.
0 references
proof theory
0 references
survey
0 references
development of David Hilbert's views on foundational questions
0 references
geometry
0 references
logic
0 references
0 references
0.8403589725494385
0 references
0.830586850643158
0 references
0.8230078816413879
0 references
