De l’intuition sensible au problème du « je » l’intelligence artificielle peut-elle penser ?

Le débat entre formalisme et intuitionnisme a souvent été interprété comme une querelle interne à la philosophie des mathématiques. Une telle lecture en sous-estime pourtant la portée épistémologique. Les positions respectives de Hilbert, de Brouwer et de Gödel engagent en réalité une question plus générale : qu’est-ce qu’un contenu intelligible, et à quelles conditions une procédure symbolique devient-elle connaissance plutôt que simple manipulation de signes ? L’article soutient que les théorèmes d’incomplétude de Gödel ne valent pas seulement comme limitation technique des systèmes formels. Ils mettent au jour une structure de la pensée qui excède le calcul, non pas parce qu’elle s’y opposerait extérieurement, mais parce qu’elle suppose l’articulation de trois moments irréductibles : un moment de saisissement intuitif et schématique, un moment de reprise critique, un moment de formalisation communicable. La formalisation est indispensable, pourtant elle ne suffit pas à engendrer le sens, à rendre compte de la découverte ni à assurer la référence. Si la formalisation ne suffit pas à produire le sens, à éclairer la découverte et à fonder la référence, alors la découverte scientifique doit être comprise comme une reconfiguration synthétique plutôt que comme un simple enchaînement séquentiel, l’effectivité d’une théorie doit être distinguée de la vérité qu’elle vise, et la question de l’intelligence artificielle doit être reprise sur de nouvelles bases. Ce qui manque encore aux systèmes artificiels n’est pas la complexité combinatoire, mais l’inscription concrète de leurs énoncés dans une expérience du monde et la réflexivité qui permet à un sujet de se rapporter à ses propres opérations comme à quelque chose qui le concerne. La pensée apparaît ainsi comme circulation entre plusieurs étages de signification, et non comme simple exécution de règles dans un univers clos. Cet article renvoie à un projet plus global, intitulé Philosophie de la Signification, du même auteur, disponible sur PhilPapers. Mots-clés : Gödel, Hilbert, Brouwer, Kant, Popper, Turing, schématisme, découverte scientifique, signification, intelligence artificielle, réflexivité, effectivité.