Proving Things About the Informal (Q4637225)
From MaRDI portal
scientific article; zbMATH DE number 6861194
Language | Label | Description | Also known as |
---|---|---|---|
English | Proving Things About the Informal |
scientific article; zbMATH DE number 6861194 |
Statements
Proving Things About the Informal (English)
0 references
18 April 2018
0 references
Church's thesis
0 references
proof
0 references
epistemology
0 references
vagueness
0 references
Kleene
0 references
Church
0 references
Wang
0 references
Gandy
0 references
Gödel
0 references
Sieg
0 references
Lakatos
0 references
foundationalism
0 references
self-evidence
0 references