Tous les théorèmes limitatifs des métamathématiques et la théorie du calcul suggèrent qu'une fois que la capacité de représenter sa propre structure a atteint un certain point critique, c'est le baiser de la mort : ce qui garantit que l'on ne peut jamais se représenter totalement soi-même. Le théorème de l'incomplétude de Gödel, le théorème de l'indécidabilité de Church, celui de l'Arrêt de Turing, le Théorème de la Vérité de Tarski - tous ont la saveur d'un ancien conte de fées qui vous avertit que "Chercher la connaissance de soi, c'est entreprendre un voyage qui... sera toujours incomplet, qu'on ne peut tracer sur aucune carte, qui ne s'arrêtera jamais et ne peut être décrit".
Auteur:
Info: Gödel, Escher, Bach : An Eternal Golden Braid. Partie II, Chapitre XX (p. 697) Basic Books, Inc. New York, New York, États-Unis. 1979
Commentaires: 0