The Use of Trustworthy Principles in a Revised Hilbert’s Program (Q5361244)
From MaRDI portal
scientific article; zbMATH DE number 6781281
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Use of Trustworthy Principles in a Revised Hilbert’s Program |
scientific article; zbMATH DE number 6781281 |
Statements
The Use of Trustworthy Principles in a Revised Hilbert’s Program (English)
0 references
27 September 2017
0 references
Hilbert's program
0 references
Martin-Löf type theory
0 references
explicit mathematics
0 references
