Books on Amazon
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)
Goedel figure: possible: to arrange all sorts of axiomatic systems in alphabetical order .
DennettVsGödel: 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: 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._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.
Darwins gefährliches Erbe Hamburg 1997
Spielarten des Geistes Gütersloh 1999