|
|
|
|
|
|
by Xmd5a
3 hours ago
|
|
|
H: All right, all right... and the limitation of human intelligence? M: Mr Gödel is telling you that the theorem limits formal systems. So you see your
intelligence as a formal system, as a machine? H (pompously): Indeed. I have the impression that everything I do ought to be done by a
machine, which could moreover speak just as well in my place. G: From where I am, it is difficult to tell whether you exist or whether you are the virtual
creation of a GAT - a Generator of Automatic Truisms. Intelligence does not exist without
error, perhaps even without obstinacy in error; but who would take the risk of giving a
computer that kind of psychology? As for the incompleteness theorem, it certainly did not
foresee bad-tempered theories... --- Gödel's Theorem, or an Evening with Mr Homais
Jean-Yves Girard Translation: https://files.catbox.moe/kac0wu.pdf Original: https://perso.ens-lyon.fr/pierre.lescanne/ENSEIGNEMENT/LOGIQ... |
|
|