On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem (Q809063): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf00263316 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2072151524 / rank | |||
Normal rank |
Latest revision as of 09:51, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem |
scientific article |
Statements
On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem (English)
0 references
1990
0 references
From his own ``instrumentalistic'' point of view the author criticizes arguments of \textit{C. Smoryński} [Self-reference and modal logic (1985; Zbl 0596.03001); CWI Q. 1, No.4, 3-59 (1988; Zbl 0665.03001)] claiming that already Gödel's First Incompleteness Theorem was a definite disproof of Hilbert's Program. The author's more formal arguments are convincing, his more philosophical ones rather debatable. Finally, he adds some quite speculative ideas on how also Gödel's Second Incompleteness Theorem may not be an argument against Hilbert's Program. Reviewer's Remark: Hilbert as a working mathematician offered his foundational program as a kind of long range research strategy. Therefore it seems quite preferable to look at his distinct formulations cum grano salis and not to take them as statements of a professional philosopher; this would open the way to interpret his program more freely and to avoid unnecessary debates about something like a ``true understanding'' of his program as well as on (ir)refutable refutations of it.
0 references
metamathematics
0 references
finitistic methods
0 references
Gödel's First Incompleteness Theorem
0 references
Hilbert's Program
0 references
Gödel's Second Incompleteness Theorem
0 references