Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Studia Semiotyczne

Authors help

  1. 1 Avron A.

Years help

  1. 1 2020

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  Gödel disjunction
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Publication available in full text mode
Content available

The Problematic Nature of Gödel’s Disjunctions and Lucas-Penrose’s Theses

100%
Avron A.
Studia Semiotyczne
|
2020
|
vol. 34
|
issue 1
EN
We show that the name “Lucas-Penrose thesis” encompasses several different theses. All these theses refer to extremely vague concepts, and so are either practically meaningless, or obviously false. The arguments for the various theses, in turn, are based on confusions with regard to the meaning(s) of these vague notions, and on unjustified hidden assumptions concerning them. All these observations are true also for all interesting versions of the much weaker (and by far more widely accepted) thesis known as “Gö- del disjunction”. Our main conclusions are that pure mathematical theorems cannot decide alone any question which is not purely mathematical, and that an argument that cannot be fully formalized cannot be taken as a mathematical proof.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.