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
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...