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 intelli

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 https://files.catbox.moe/kac0wu.pdf Original: https://perso.ens-lyon.fr/pierre.lescanne/ENSEIGNEMENT/LOGIQUE/girard.pdf https://perso.ens-lyon.fr/pierre.lescanne/ENSEIGNEMENT/LOGIQ...