Hilbert's program and the omega-rule (Q4292612)
From MaRDI portal
scientific article; zbMATH DE number 569571
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hilbert's program and the omega-rule |
scientific article; zbMATH DE number 569571 |
Statements
Hilbert's program and the omega-rule (English)
0 references
11 September 1995
0 references
logical foundations
0 references
consistency of formal rules
0 references
exact philosophy
0 references
mathematical proofs
0 references
finitist proofs
0 references
metamathematics
0 references
primitive recursive arithmetic
0 references
0 references
