H for Hilbert. \dots and M for mathematics (Q2304770)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | H for Hilbert. \dots and M for mathematics |
scientific article |
Statements
H for Hilbert. \dots and M for mathematics (English)
0 references
13 March 2020
0 references
truth and provability
0 references
Hilbert's programme
0 references
proof theory
0 references
axiomatic method
0 references
transfinite numbers
0 references
