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.
Darwins gefährliches Erbe Hamburg 1997
Spielarten des Geistes Gütersloh 1999