Théorèmes d'incomplétude de Gödel

Les Théorèmes d’incomplétude de Gödel, publiés par Kurt Gödel en 1931, sont deux théorèmes célèbres de logique mathématique.

Ils démontrent que dans tout système axiomatique cohérent assez puissant pour décrire l’arithmétique, il existe des propositions vraies qui ne peuvent être ni prouvées ni réfutées au sein du système.

Pertinence pour l’Intelligence : Le physicien Roger Penrose utilise ces théorèmes pour soutenir que la conscience humaine est “non calculable”. Il suggère que l’esprit humain peut saisir des vérités mathématiques qu’un algorithme (un ordinateur) ne pourrait jamais prouver formellement, ce qui implique que le cerveau ne fonctionne pas simplement comme une machine de Turing classique.