On the Motives for Proof Theory (Q5213608)
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: On the Motives for Proof Theory |
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
