Gödel and the concept of meaning in mathematics (Q1299773)
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: Gödel and the concept of meaning in mathematics |
scientific article; zbMATH DE number 1328350
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Gödel and the concept of meaning in mathematics |
scientific article; zbMATH DE number 1328350 |
Statements
Gödel and the concept of meaning in mathematics (English)
0 references
8 March 2000
0 references
The author muses on the theme of meaning in connection with versions of rationality which he attributes to Kurt Gödel. He also brings in the claim of Hilary Putnam that proofs in mathematics are epistemological rather than a mathematical one. Both aspects are applied to an appraisal of computability in the sense of Alan Turing.
0 references
computability
0 references
