No label defined (Q4385479)
From MaRDI portal
scientific article; zbMATH DE number 1141703
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1141703 |
Statements
14 April 1998
0 references
proof theory
0 references
finitism
0 references
Hilbert's programme
0 references
Kreisel's programme
0 references
non-finitist proofs
0 references
interpretation
0 references
no counterexample interpretation
0 references
Littlewood's theorem
0 references
finiteness theorems
0 references