Lexicon of Arguments

Philosophical and Scientific Issues in Dispute
 
[german]


Complaints - Corrections

Table
Concepts
Versus
Sc. Camps
Theses I
Theses II

Concept/Author*  

What is wrong?
Page
Other metadata
Translation
Excerpt or content
Other

Correction: Year / Place / Page
/ /

Correction:
(max 500 charact.)

Your username*
or User-ID

Email address*

The complaint
will not be published.

 
I 602
Mind/Goedel/Dennett: Goedel himself seemed to deem the "sky hook" necessary as an explanation for the human mind.
Goedel: certain truths can be "seen" but never proved. (> Proof).
I 605
Goedel Figure: it is possible to arrange all sorts of axiomatic systems in alphabetical order.
DennettVsGoedel: Problem: how can you find out whether a mathematician proved a sentence or has only made ​​a sound like a parrot? (Behavior).
J.R.Lucas, 1961(1): the crucial property should be "to represent a sentence as true".
DennettVsLucas: but this faces insurmountable problems of interpretation.
Goedel/Toshiba Library/Dennett: "there is no single algorithm that can prove all the truths of arithmetics". Dennett: Goedel says nothing about all the other algorithms in the library.


1. J.R.Lucas, Minds, Machines, and Gödel. Etica E Politica 5 (1):1 (1961)

Found an error? Use our Complaint Form. Perhaps someone forgot to close a bracket? A page number is wrong?
Help us to improve our lexicon.
However, if you are of a different opinion, as regards the validity of the argument, post your own argument beside the contested one.
The correction will be sent to the contributor of the original entry to get his opinion about.