Second thoughts around some of Gödel's writings: A non-academic option (Q1299778): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1023/a:1005006610269 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W106037804 / rank | |||
Normal rank |
Latest revision as of 09:40, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Second thoughts around some of Gödel's writings: A non-academic option |
scientific article |
Statements
Second thoughts around some of Gödel's writings: A non-academic option (English)
0 references
25 April 2000
0 references
This paper, originally commissioned as a Review Essay on volume III of \textit{Gödel}'s ``Collected Works'' [ed. \textit{S. Feferman}, Oxford University Press: New York (1995; Zbl 0826.01038)], gives second thoughts on Gödel's philosophy of mathematics in the light of TENOS (tested experience, not only speculation about possibilities). These thoughts, supplemented by autobiographical remarks and with references to several of the author's reviews for the ``Zentralblatt'' (such as Zbl 0522.03046, Zbl 0728.03031, Zbl 0795.03083, Zbl 0815.03036, Zbl 0820.03001), concern \textit{Bourbaki}'s foundational approach, \textit{Wittgenstein}'s ideas on foundations with a report on the author's conversations with Wittgenstein on Gödel's proof, Gödel's notion of reductive proof, the notion of recursiveness with its epistemological bearings, the views of Gödel and \textit{Turing} concerning the strong thesis of Artificial Intelligence, and the role of intuition in mathematics presented as Gödel's rehabilitation of \textit{Kant}. In an appendix the author gives ``Logical complements in the light of TENOS'' discussing among other topics the notions of completeness and incompleteness, \textit{Hilbert}'s \(\varepsilon\)-notation, formal semantics, the logical background of Diophantine problems and transfinite arithmetic.
0 references
foundations
0 references
completeness
0 references
incompleteness
0 references
Wesensschau
0 references
intuition
0 references
Hilbert's programme
0 references
finitism
0 references
artificial intelligence
0 references
recursiveness
0 references
proof theory
0 references
\(\epsilon\)-axiom
0 references
Hilbert's 10th problem
0 references
Gödel's Gibb's lectures
0 references