On the Motives for Proof Theory (Q5213608)
From MaRDI portal
scientific article; zbMATH DE number 7162483
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the Motives for Proof Theory |
scientific article; zbMATH DE number 7162483 |
Statements
On the Motives for Proof Theory (English)
0 references
4 February 2020
0 references
Hilbert
0 references
Frege
0 references
Bernays
0 references
proof theory
0 references
consistency
0 references
model construction
0 references
direct approach to consistency
0 references
finitary viewpoint
0 references
conceptual freedom
0 references
abstract axiomatic method
0 references
formal axiomatization
0 references
contentual axiomatization
0 references
Frege's futility argument
0 references
rigor
0 references
