Existe-t-il des limites fondamentales à ce qu’une intelligence peut connaître ?

La réponse en quelques mots

Il existe des limites démontrées dans des cadres précis. Leur portée dépend de ce qu’on entend par connaître : démontrer un énoncé, décider un problème par un algorithme, mesurer un système ou prédire son évolution.

Il faut donc examiner les hypothèses de chaque résultat avant de l’appliquer à une intelligence ou à l’Univers. Une limite dans un cadre formel ne dit pas, à elle seule, qu’une question concrète restera toujours sans réponse.

Trois distinctions pour commencer

Démontrer

Les théorèmes d’incomplétude de Gödel concernent des systèmes formels cohérents, effectivement axiomatisables et assez riches pour exprimer une certaine arithmétique. Certains énoncés ne peuvent être tranchés dans le système considéré. Cela ne signifie pas qu’ils sont indémontrables dans tout cadre imaginable. Source : Raatikainen, Stanford Encyclopedia of Philosophy.

Calculer

Le dossier aborde les résultats de Turing, Rice et Chaitin. Pour les lire, distinguez une méthode qui échoue sur un exemple d’un résultat portant sur l’impossibilité d’une méthode générale. Retrouvez les références et leurs modes de consultation dans l’onglet Sources.

Observer et prédire

Le dossier examine aussi des limites physiques : informations accessibles, ressources de calcul, mesures et horizons. Ces arguments mobilisent des modèles et des hypothèses physiques ; leur statut diffère de celui d’un théorème purement logique.

Ce que cette fiche ne permet pas de conclure

• Elle ne démontre pas que la conscience, le sens ou l’origine de l’Univers sont définitivement inconnaissables.
• Elle ne démontre pas qu’une théorie unifiée des interactions est impossible.
• Ses propositions originales, comme la « conservation de l’ignorance », restent des conjectures ou des synthèses à examiner.

Comment poursuivre

Le dossier complet conserve la recherche originale et ses réserves. L’onglet Sources distingue les textes consultés, les résumés et les références bibliographiques seules. Une référence présente dans la liste n’implique pas une lecture intégrale.

Cette vue courte a fait l’objet d’une relecture de portée le 12 septembre 2026, avec vérification de l’entrée de la Stanford Encyclopedia citée ci-dessus. Ce contrôle ciblé ne constitue pas une validation scientifique des 57 références du dossier complet.

Dossier approfondi et sources

Réponse courte provisoire

Oui. C’est la seule des 42 questions dont la réponse repose sur des théorèmes et non sur des positions. Des limites à ce qu’une intelligence peut connaître ont été démontrées par au moins six voies indépendantes, qui ne reposent pas sur les mêmes hypothèses et ne s’effondrent donc pas ensemble :

1. Auto-référence logique (Gödel 1931, Tarski 1933, Fitch 1963) : tout système formel assez riche contient des vérités qu’il ne peut pas démontrer, ne peut pas définir sa propre vérité, et « tout est connaissable » entraîne « tout est connu ».
2. Indécidabilité algorithmique (Turing 1936, Rice 1953, Chaitin 1974-1975) : aucune procédure ne décide en général si un programme s’arrête ; presque aucune propriété du comportement d’un programme n’est décidable ; un système de n bits d’axiomes ne démontre jamais qu’une chaîne particulière a une complexité supérieure à n + c.
3. Indécidabilité dans les modèles physiques (Pour-El et Richards 1981, Moore 1990, Cubitt et al. 2015, Shiraishi et Matsumoto 2021, Tachikawa 2023, Cardona et al. 2021, Miranda et Ramos 2025) : connaître exactement les lois et l’état initial d’un système ne suffit pas, en général, à déterminer ses propriétés macroscopiques ni ses trajectoires.
4. Bornes physiques sur l’information (Landauer 1961, Bekenstein 1981, Margolus et Levitin 1998, Lloyd 2000 et 2002, Bousso 2002) : une région finie contient une information finie, une opération logique a une vitesse maximale, effacer un bit coûte une énergie minimale (vérifiée expérimentalement), et l’Univers observable n’a pu effectuer qu’environ 10^120 opérations sur 10^90 bits.
5. Barrières de prédictibilité et horizons (Lorenz 1969, Palmer et al. 2014, Krauss et Scherrer 2007) : certains systèmes déterministes ont un horizon de prédiction fini qu’aucune amélioration de la mesure initiale ne repousse ; l’expansion accélérée efface progressivement les preuves observationnelles de la cosmologie.
6. Intériorité (Popper 1950, Breuer 1995, Wolpert 2008) : un observateur contenu dans le système qu’il observe ne peut pas en distinguer tous les états, que le système soit classique ou quantique, déterministe ou stochastique ; un univers ne peut contenir plus d’un « dispositif d’inférence fort ».

S’y ajoutent les limites quantiques sur l’information extractible d’un état (Heisenberg 1927, Kochen et Specker 1967, Holevo 1973, Wootters et Zurek 1982), dont l’une (Kochen-Specker) montre que l’inconnu n’est pas seulement de l’ignorance : il n’existe pas, pour tous les observables à la fois, de valeurs prédéfinies à connaître.

La nuance qui compte. Ces limites ne disent pas que la physique est « incomplète au sens de Gödel », ni que la nature calcule, ni que telle question précise (la conscience, l’origine de l’Univers) est hors de portée. Elles disent qu’il existe des questions hors de portée, que leur existence est démontrée, et que le nombre de voies indépendantes rend l’hypothèse d’une intelligence omnisciente incompatible avec les mathématiques et la physique connues. Laplace lui-même écrivait en 1814 que l’esprit humain « restera toujours infiniment éloigné » de l’intelligence qu’il imaginait ; depuis 1931 on sait que la restriction ne tient pas à l’esprit humain mais à toute intelligence, y compris celle de Laplace.

Définir la question

Intelligence. Nous prenons le terme au sens large de Laplace : un système capable d’observer, de mémoriser, de calculer et de prédire. Nous ne supposons ni qu’elle est humaine, ni qu’elle est biologique, ni qu’elle est finie. Une partie des résultats ci-dessous exige seulement que l’intelligence soit un système physique contenu dans l’Univers ; une autre partie exige qu’elle calcule au sens de Turing ; une dernière exige seulement la logique.

Connaître. Trois sens sont distingués dans les sources, et les résultats ne les touchent pas de la même manière :

• démontrer une proposition dans un cadre formel (Gödel, Tarski, Chaitin) ;
• décider algorithmiquement une question (Turing, Rice, indécidabilité en physique) ;
• mesurer, prédire ou reconstituer l’état d’un système physique (Heisenberg, Lorenz, Breuer, Wolpert, horizons cosmologiques).

Fondamentales. Une limite est dite fondamentale si elle ne dépend ni de la technologie disponible, ni du temps alloué, ni des ressources particulières d’une intelligence donnée. C’est pour cela que la question se distingue de « qu’ignorons-nous aujourd’hui ? ».

Présupposés examinés. (a) Que « tout connaître » ait un sens : Fitch montre que l’énoncé « toute vérité est connaissable » a une conséquence absurde en logique modale classique. (b) Que connaître les lois équivaut à connaître le monde : les résultats d’indécidabilité en physique séparent nettement les deux. (c) Que l’intelligence puisse se placer hors du monde : Breuer et Wolpert traitent exactement le cas contraire.

Sous-questions.

• Q41a. Existe-t-il des limites logiques, indépendantes de toute physique ? (Oui, théorèmes.)
• Q41b. Existe-t-il des limites qui tiennent aux lois physiques de cet Univers ? (Oui, sous les lois connues.)
• Q41c. Existe-t-il des limites qui tiendraient dans tout univers possible ? (Oui pour l’intériorité, selon Wolpert ; c’est le résultat le plus fort et le moins connu.)
• Q41d. Ces limites touchent-elles des questions qui nous importent, ou seulement des cas construits ? (Ouvert ; voir plus bas.)

Ce que les sources permettent d’affirmer

Les affirmations sont classées selon le vocabulaire de la méthode : [R] résultat mathématique ou logique, [O] observation ou expérience, [M] modèle ou théorie, [H] hypothèse scientifique, [P] argument philosophique. Les identifiants S0xx renvoient au registre en bas de fiche.

Famille 1 — Limites logiques d’auto-référence

[R] Premier théorème d’incomplétude (Gödel 1931, S020, S021). Formulation de la Stanford Encyclopedia (révision du 8 octobre 2025) : tout système formel cohérent F dans lequel on peut faire une certaine quantité d’arithmétique élémentaire est incomplet ; il existe des énoncés du langage de F que F ne peut ni prouver ni réfuter. Second théorème : la cohérence de F ne peut pas être prouvée dans F. Hypothèses : cohérence, axiomatisation récursive, capacité arithmétique minimale. Le résultat est relatif à F : la proposition indécidable dans F est décidable dans un système plus fort, qui a ses propres indécidables.

[R] Indéfinissabilité de la vérité (Tarski 1933, S023). Une définition de la vérité pour un langage L exige un métalangage essentiellement plus fort que L ; sinon la convention T mène au paradoxe du menteur. Même structure que Gödel : la limite se déplace, elle ne disparaît pas.

[R] Paradoxe de la connaissabilité (Fitch 1963, S028). En logique modale normale augmentée d’un opérateur de connaissance, « toute vérité est connaissable » entraîne « toute vérité est connue ». Comme il existe des vérités que personne ne connaît, la thèse de la connaissabilité universelle est réfutée, ou bien la logique doit être révisée (stratégies de restriction, logique intuitionniste ou paraconsistante). Ce résultat porte sur le concept même de « tout connaître », avant toute physique.

Contexte historique vérifié. Le 8 septembre 1930 à Königsberg, Hilbert déclare qu’« en mathématiques il n’y a pas d’ignorabimus » et prononce « Wir müssen wissen, wir werden wissen » (S019, S073). Gödel avait annoncé son premier théorème d’incomplétude lors des mêmes journées de Königsberg ; l’article est soumis le 17 novembre 1930 et paraît en 1931 (S020, S073). Turing, en 1936, précise que son résultat est « tout à fait différent » de celui de Gödel : Gödel montre qu’il existe des propositions ni prouvables ni réfutables ; Turing montre qu’il n’existe aucune méthode générale pour dire si une formule donnée est prouvable (S022, §11).

Famille 2 — Limites algorithmiques

[R] Problème de l’arrêt et Entscheidungsproblem (Turing 1936, S022, texte intégral consulté). Turing définit les nombres calculables comme ceux « dont le développement décimal est calculable par des moyens finis », montre au §8 qu’« il ne peut y avoir de machine » qui, recevant la description d’une machine arbitraire, détermine si celle-ci imprime jamais un symbole donné, et conclut au §11 : « Hence the Entscheidungsproblem cannot be solved. » Reçu le 28 mai 1936, lu le 12 novembre 1936.

[R] Théorème de Rice (1953, S024). Toute propriété non triviale du comportement (sémantique) des programmes est indécidable. Seuls les ensembles d’indices triviaux sont décidables. Conséquence pratique : l’indécidabilité n’est pas une curiosité isolée, c’est le cas générique.

[R] Complexité de Kolmogorov et incomplétude informationnelle (Kolmogorov 1965, S025 ; Chaitin 1974 et 1975, S026, S027). La complexité K(x) d’une chaîne est la longueur du plus court programme qui la produit. Chaitin montre qu’un système formel dont les axiomes tiennent en n bits ne peut démontrer « K(x) > n + c » pour aucune chaîne x particulière, bien que presque toutes les chaînes assez longues satisfassent l’inégalité. Le nombre Ω (probabilité d’arrêt) est algorithmiquement aléatoire : aucun algorithme ne produit ses n premiers bits, et un système formel de n bits n’en détermine qu’au plus n + c. Réserve de méthode : nous n’avons pas pu consulter le résumé de l’article de 1974 (accès fermé) ; l’énoncé ci-dessus est celui repris dans les expositions ultérieures et dans S027.

[R] Complexité (Aaronson 2011, S071). Même ce qui est calculable peut être hors de portée si le temps requis croît exponentiellement ; Aaronson soutient que la théorie de la complexité éclaire le problème de l’induction, l’omniscience logique et la connaissance mathématique. Les versions bornées de plusieurs problèmes indécidables issus de la physique sont NP-difficiles (Klingler et al. 2023, S055) : rendre le problème fini ne le rend pas facile.

Famille 3 — Indécidabilité dans les modèles physiques

C’est la famille qui répond à l’objection « Gödel ne concerne que les mathématiques ». Elle s’est considérablement développée depuis 2015 ; la revue de Perales-Eceiza, Cubitt, Gu, Pérez-García et Wolf (Physics Reports, 2025, S051) en fait l’inventaire.

[R] Équation des ondes (Pour-El et Richards 1981, S039). Il existe des données initiales calculables pour l’équation des ondes dont l’unique solution n’est pas calculable. Premier résultat montrant qu’une loi physique classique peut produire de l’incalculable à partir du calculable.

[R] Systèmes dynamiques (Moore 1990, S040, cité via S051). Une particule dans un potentiel lisse en trois dimensions peut simuler une machine de Turing universelle ; certaines questions sur son comportement à long terme sont donc indécidables.

[R] Gap spectral (Cubitt, Perez-Garcia et Wolf, Nature 2015 et Forum of Mathematics Pi 2022, S041). Citation du résumé : « We show that the spectral gap problem is undecidable. Specifically, we construct families of translationally-invariant, nearest-neighbour Hamiltonians on a 2D square lattice of d-level quantum systems (d constant), for which determining whether the system is gapped or gapless is an undecidable problem. » Conséquence énoncée par les auteurs : il existe des modèles pour lesquels la présence ou l’absence de gap est indépendante des axiomes des mathématiques. Étendu à une dimension (Bausch, Cubitt, Lucia, Perez-Garcia 2020, S042) avec des chaînes dont le gap est constant jusqu’à une taille « incalculablement grande » puis disparaît ; étendu aux diagrammes de phase (Bausch, Cubitt, Watson 2021, S043) ; étendu aux hamiltoniens à symétrie de rotation (Castilla-Castellano et Lucia, Physical Review Research 2026, S052).

[R] Thermalisation (Shiraishi et Matsumoto 2021, S044). Savoir si un système quantique à N corps donné thermalise est indécidable.

[R] Mesure quantique (Eisert, Müller et Gogolin 2012, S045). Savoir si, dans une suite de dispositifs de Stern-Gerlach identiques, certains résultats de mesure ne se produisent jamais est indécidable, alors que l’analogue classique est décidable ; les auteurs y voient une « propriété authentiquement quantique ».

[R] Théorie quantique des champs (Tachikawa 2023, S046). Aucun algorithme ne dit si une théorie supersymétrique lagrangienne 2D donnée brise la supersymétrie ; Tachikawa construit une théorie qui la brise si et seulement si ZFC est cohérent, ce que Gödel interdit de démontrer dans ZFC.

[R] Fluides et billards (Cardona, Miranda, Peralta-Salas, Presas 2021, S047 ; Cardona, Miranda, Peralta-Salas 2025, S048 ; Dyhr, González-Prieto, Miranda, Peralta-Salas 2026, S049 ; Miranda et Ramos 2025-2026, S050). Il existe un écoulement d’Euler stationnaire sur une 3-sphère riemannienne qui est Turing-complet : certaines trajectoires de particules sont indécidables. Le résultat s’étend aux états stationnaires de Navier-Stokes (la viscosité n’empêche pas l’universalité sous une condition cohomologique), et, en décembre 2025, aux billards à deux dimensions, « y compris des modèles associés aux gaz de sphères dures et aux limites de chaînes de collisions en mécanique céleste ». Tao (2016, S072) avait proposé la construction d’un « ordinateur fluide » comme obstruction possible à une preuve de régularité globale de Navier-Stokes.

Ce que cette famille établit et n’établit pas (S051, S053, S054, S055). Les auteurs de la revue de 2025 sont explicites : « undecidability is not a feature of the physical system; it is a feature of the mathematical model we use to describe that physical system », et « an undecidable problem must necessarily conceal an infinity somewhere: infinitely many instances, infinitely many particles, infinite precision. None of these idealized limits are directly accessible experimentally. » Deux résultats récents précisent la portée : la famille 1D à gap indécidable devient décidable sous une perturbation de norme aussi petite que l’on veut (Castilla-Castellano et Lucia, prépublication du 9 juillet 2026, S053, non évaluée par les pairs) ; et les bassins d’attraction de systèmes planaires structurellement stables sur un compact sont calculables, alors qu’il existe des systèmes dont la non-calculabilité du bassin est robuste aux perturbations (Graça et Zhong 2024, S054). Autrement dit : l’indécidabilité physique est réelle, générique dans les modèles, parfois robuste et parfois fragile, et sa traduction en limite pour un observateur fini passe par les versions bornées, qui restent au moins NP-difficiles.

Famille 4 — Bornes physiques sur l’information et le calcul

[R puis O] Principe de Landauer (1961, S029 ; vérifications expérimentales S030, S031). Effacer un bit dissipe au moins kT ln 2, soit environ 3 × 10^-21 J à 310 K. Mesuré par Bérut et al. (Nature 2012), puis Jun et al. (2014) et Hong et al. (2016) ; Bérut, Petrosyan et Ciliberto (2015) rapportent que « in the limit of long erasure cycles the mean dissipated heat saturates at the Landauer bound ». C’est la seule limite de cette fiche qui ait le statut d’observation.

[R] Vitesse maximale d’évolution (Margolus et Levitin 1998, S032). Un système d’énergie moyenne E au-dessus de son fondamental ne passe par plus de 2E/(πħ) états orthogonaux par seconde ; « adding one Joule of energy to a given computer can never increase its processing rate by more than about 3×10^33 operations per second ».

[M] L’ordinateur ultime et l’Univers calculateur (Lloyd 2000 et 2002, S033, S034 ; texte intégral de S033 consulté). Un kilogramme de matière ne peut effectuer plus de « 5.4258 × 10^50 operations per second » ; un litre ne peut stocker plus d’environ 2,13 × 10^31 bits. L’Univers observable « can have performed no more than 10^120 ops on 10^90 bits » (10^120 bits si l’on compte les degrés de liberté gravitationnels). Ces chiffres dépendent des paramètres cosmologiques et du modèle ; leur ordre de grandeur est robuste.

[R/M] Borne de Bekenstein et principe holographique (Bekenstein 1981, S035 ; Casini 2008, S036 ; Bousso 2002, S037). L’entropie d’un système faiblement gravitant de rayon R et d’énergie E vérifie S ≤ 2πkRE/(ħc). Casini en donne une formulation rigoureuse en théorie quantique des champs via l’entropie relative. Bousso : « the area of any surface limits the information content of adjacent spacetime regions, at 10^69 bits per square meter ». Conséquence : aucune intelligence de taille et d’énergie finies ne peut contenir une information infinie.

[H] Principe de Church-Turing-Deutsch (Deutsch 1985, S038). Tout système physique finiment réalisable peut être simulé par une machine de calcul universelle opérant par des moyens finis (formulation paraphrasée ; texte original non consulté). Ce principe est une hypothèse physique, pas un théorème : c’est lui qui, s’il est vrai, rend les limites de la famille 2 absolues pour toute intelligence physique, en fermant la porte de l’hypercalcul.

Famille 5 — Barrières de prédictibilité et horizons

[M] Le « vrai » effet papillon (Lorenz 1969, S063 ; Palmer, Döring et Seregin 2014, S064). Lorenz : « certain formally deterministic fluid systems which possess many scales of motion are observationally indistinguishable from indeterministic systems ; [...] two states of the system differing initially by a small “observational error” will evolve into two states differing as greatly as randomly chosen states of the system within a finite time interval, which cannot be lengthened by reducing the amplitude of the initial error ». Palmer et al. reformulent : il s’agit d’une « absolute finite-time predictability barrier », distincte de la sensibilité aux conditions initiales du chaos de basse dimension, et en montrent des traces dans les modèles atmosphériques opérationnels. La barrière ne se repousse pas en mesurant mieux.

[M] Fin de la cosmologie (Krauss et Scherrer 2007, S065). Dans un univers dominé par la constante cosmologique, « all evidence of the Hubble expansion will disappear, so that observers in our “island universe” will be fundamentally incapable of determining the true nature of the universe, including the existence of the highly dominant vacuum energy, the existence of the CMB, and the primordial origin of light elements ». L’Univers efface ses propres archives ; des vérités accessibles aujourd’hui ne le seront plus pour personne.

[P/M] Unicité et horizon (Ellis 2006, S066). L’unicité de l’Univers et son échelle interdisent la reproduction expérimentale et bornent la zone observable ; ce qui est au-delà de l’horizon des particules n’est pas testable directement.

Famille 6 — Intériorité : l’observateur dans le système

[P] Popper 1950 (S059, référence bibliographique seulement). Argument que même un prédicteur classique ne peut pas prédire ses propres états futurs de façon complète. Texte non consulté ; nous ne l’utilisons que comme précurseur.

[R] Breuer 1995 (S060, texte intégral consulté). Résumé de l’article : « It is shown that it is impossible for an observer to distinguish all present states of a system in which he or she is contained, irrespective of whether this system is a classical or a quantum mechanical one and irrespective of whether the time evolution is deterministic or stochastic. » Reformulation par l’auteur : « No measurement from inside the observed system can be informationally complete. » Corollaire : un observateur ne peut pas mesurer les corrélations EPR entre lui-même et un système extérieur. Breuer souligne lui-même les différences avec Gödel ; l’analogie est structurelle, pas une identité.

[R] Wolpert 2008 et 2017 (S061, S062). Wolpert définit les « dispositifs d’inférence » (observation, prédiction, mémoire, contrôle) et prouve que pour tout dispositif il existe quelque chose qu’il ne peut pas prédire, quelque chose qu’il ne peut pas se rappeler, quelque chose qu’il ne peut pas observer ; « no universe can contain more than one strong inference device » ; ces limites « hold regardless of whether the universe is classical, quantum, finite or infinite ». C’est la réfutation formelle du démon de Laplace, et elle ne dépend pas des lois physiques particulières. Wolpert 2017 étend le cadre à la logique épistémique et montre que ces dispositifs échappent au problème de l’omniscience logique.

Limites quantiques sur l’information extractible

[M] Heisenberg 1927 (S067). L’inégalité de préparation : aucun état ne rend position et impulsion simultanément prédictibles à précision arbitraire (formulation de la Stanford Encyclopedia, S067). [R] Non-clonage (Wootters et Zurek 1982, Dieks 1982, S068) : aucune opération ne copie un état quantique inconnu ; on ne peut donc pas multiplier les mesures sur un même état. [R] Borne de Holevo (1973, S069) : l’information classique extractible d’un ensemble d’états quantiques est bornée par l’entropie de von Neumann ; n qubits ne livrent pas plus de n bits. [R] Kochen-Specker (1967, S070) : en dimension ≥ 3, il est impossible d’attribuer des valeurs définies non contextuelles à tous les observables. Ce dernier résultat est d’une autre nature que les précédents : il ne dit pas qu’on ne peut pas connaître toutes les valeurs, il dit qu’elles n’existent pas toutes à la fois.

Principales réponses proposées

A. L’optimisme de Hilbert (1930, S019, S073). Prémisse : en mathématiques, tout problème bien posé admet une solution ou une preuve d’impossibilité ; « il n’y a pas d’ignorabimus ». Réfutée dans sa forme forte par Gödel (dès 1930-1931) et Turing (1936). Survit sous une forme faible et vraie : pour chaque énoncé indécidable donné, il existe un système plus fort qui le décide. Ce qui est réfuté est l’existence d’un système unique et final.

B. L’ignorabimus de Du Bois-Reymond (1872, 1880, S018, texte OCR consulté). Prémisse : certaines questions précises (l’essence de la matière et de la force, l’origine du mouvement, l’origine de la sensation) sont « transcendantes », c’est-à-dire insolubles même si l’on suppose résolues celles qui les précèdent. Il conclut le discours de 1872 par « Ignorabimus ». Objection : c’est un verdict, pas un théorème ; il a par ailleurs jugé non transcendantes l’origine de la vie et la finalité apparente (« Darwin zeigte in der natürlichen Zuchtwahl eine Möglichkeit, sie zu umgehen »). Sa liste de sept énigmes coïncide en grande partie avec la nôtre (voir « Liens »), mais la forme moderne de la réponse est différente : on ne sait toujours pas quelles questions naturelles sont hors de portée, on sait qu’il y en a.

C. « Gödel implique qu’il n’y a pas de théorie du tout » (Hawking 2002, S057 ; Faizal, Krauss, Shabir et Marino 2025, S058). Hawking : « a physical theory is self referencing, like in Godel’s theorem. One might therefore expect it to be either inconsistent or incomplete » ; conclusion : « our search for understanding will never come to an end ». Faizal et al. formalisent une « méta-théorie » non algorithmique et en déduisent que l’Univers ne peut pas être une simulation. Objections : (i) l’argument de Hawking est une analogie explicite, pas une démonstration ; (ii) la Stanford Encyclopedia rappelle que les applications hors mathématiques des théorèmes de Gödel « seem to assume one or more misunderstandings » dans plusieurs cas (S021) ; (iii) l’article de 2025 paraît dans une revue peu établie et repose sur une prémisse contestable (une théorie de la gravité quantique serait une structure axiomatique dont un algorithme engendre l’espace-temps). Nous retenons de cette famille le point solide, qui n’a pas besoin de Gödel : même une théorie complète des interactions laisse des conséquences indécidables (S041, S046, S056).

D. « L’indécidabilité est une propriété des modèles, pas de la nature » (Perales-Eceiza et al. 2025, S051). Prémisse : tout problème fini est décidable par énumération ; l’indécidabilité exige un infini (instances, particules, précision) qui n’est jamais accessible expérimentalement. Ce que cela explique : pourquoi les physiciens continuent de calculer des gaps spectraux. Ce que cela laisse : les versions bornées sont NP-difficiles (S055), et un système fini d’une taille « incalculablement grande » (S042) est, pour un observateur fini, indistinguable d’un infini. La réponse D limite la portée des résultats de la famille 3, elle ne les annule pas.

E. L’échappatoire de l’hypercalcul. Prémisse : une intelligence disposant d’un oracle non Turing (précision infinie, temps infini en durée finie) contournerait la famille 2. Ce qui manque : aucun mécanisme physique connu ; le principe de Church-Turing-Deutsch (S038) et les bornes de Bekenstein et Margolus-Levitin (S032, S035) s’y opposent ; Pour-El et Richards (S039) montrent que des solutions non calculables existent mathématiquement, mais rien ne montre qu’on puisse les lire avec une précision finie. Statut : hypothèse sans support empirique.

F. L’intériorité comme limite universelle (Breuer, Wolpert). Prémisse : l’intelligence fait partie du monde qu’elle veut connaître. Ce qu’elle explique : pourquoi le démon de Laplace est impossible même dans un univers classique, déterministe et infini. Objection possible : un observateur extérieur échappe au théorème de Breuer (il le dit lui-même). Réponse : il n’existe pas d’observateur extérieur à l’Univers, sauf à changer le sens du mot « connaître ». Ce qui départagerait F d’une simple curiosité logique : montrer qu’un fait physique précis relève de cette limite ; Wolpert le fait pour la prédiction en général, pas pour un fait nommé.

Ce qui reste ouvert

1. Quelles questions naturelles tombent sous ces limites ? Les théorèmes prouvent l’existence de questions inaccessibles ; sauf constructions artificielles (S041, S046), ils n’identifient pas lesquelles parmi les questions que nous nous posons. C’est l’asymétrie centrale de la fiche : on connaît la forme de l’ignorance, rarement son contenu.
2. La nature est-elle calculable ? Le principe de Church-Turing-Deutsch (S038) est une hypothèse. Pour-El et Richards (S039) montrent qu’une loi calculable peut engendrer de l’incalculable ; Graça et Zhong (S054) montrent que la stabilité structurelle restaure la calculabilité dans certains cas. Le cas physique général est ouvert.
3. L’indécidabilité des modèles survit-elle aux perturbations réalistes ? Fragile pour la famille 1D du gap spectral (S053, prépublication 2026), robuste pour certains bassins d’attraction (S054). Question active en 2026.
4. Gödel s’applique-t-il à une théorie physique finale ? Argument heuristique (Hawking) ; aucune démonstration ; la Stanford Encyclopedia met en garde contre les extrapolations (S021).
5. L’esprit humain échappe-t-il aux limites algorithmiques ? Débat Lucas-Penrose, jugé « plus controversé » par S021 ; nous n’avons pas consulté les textes originaux et ne prenons pas position ici.
6. Les bornes physiques (famille 4) sont-elles définitives ? Elles dépendent de la relativité générale et de la mécanique quantique. Une théorie de la gravité quantique pourrait modifier les constantes, pas, selon toute vraisemblance, l’existence d’une borne (Bousso, S037).
7. Le cadre de Wolpert capture-t-il « connaître » ? Ses dispositifs d’inférence sont des fonctions ensemblistes ; la relation avec la connaissance au sens épistémique est en cours de formalisation (S062).
8. Limite de la méthode employée. Une partie des références n’a été consultée qu’en résumé (marquée dans le registre) ; deux sont des prépublications ; l’article de Chaitin 1974 et le texte de Popper 1950 n’ont pas pu être lus.

Notre position de travail

Ce que nous tenons pour établi

La réponse à la question 41 est oui, avec un degré de confiance que nous n’accorderons vraisemblablement à aucune autre fiche : elle repose sur des théorèmes publiés, indépendants, dont plusieurs ont plus de quatre-vingts ans de vérification, et sur au moins une mesure de laboratoire (Landauer). Nous changerions d’avis si l’une des trois hypothèses suivantes était réfutée : qu’une intelligence est un système physique fini ; que le calcul physique ne dépasse pas Turing ; que l’intelligence est à l’intérieur du monde qu’elle veut connaître. Aucune de ces réfutations n’a de support empirique en 2026.

Contributions de cette fiche

Les points suivants ne sont pas repris tels quels des sources consultées ; ils sont notre synthèse ou nos dérivations, à évaluer comme telles.

1. Trois degrés de limites, selon ce qui permet d’y échapper (synthèse).

• Degré I, limites relatives : Gödel, Tarski, Breuer. Un observateur ou un système strictement plus fort ou strictement extérieur lève la limite, mais en hérite d’une nouvelle. L’ignorance se déplace, elle ne se supprime pas.
• Degré II, limites absolues pour toute intelligence algorithmique : Turing, Rice, Chaitin, indécidabilité en physique. Seul l’hypercalcul y échappe, et l’hypercalcul est une hypothèse sans support.
• Degré III, limites absolues pour toute intelligence physique dans cet Univers, quel que soit son modèle de calcul : Bekenstein-Bousso, Margolus-Levitin, Landauer, horizons, barrière de Lorenz, Wolpert. Nous n’avons pas trouvé cette hiérarchie formulée ainsi dans les sources consultées. Son intérêt est de montrer que « repousser les limites » a un sens précis (passer d’un degré à l’autre) et une fin (le degré III).

2. Le théorème des conséquences (synthèse à partir de S041, S044, S046, S056). Réussir la question 23 (une théorie du tout) ne fermerait pas la question 41. Une théorie complète des interactions, un calculateur saturant les bornes de Lloyd et des mesures parfaites laisseraient encore des questions indécidables sur ce que la théorie implique : gap ou pas gap, thermalisation ou pas, brisure ou pas. La limite la plus forte porte sur les conséquences des lois, pas sur les lois. C’est, à notre avis, la reformulation la plus utile de la question 41 pour le reste du carnet. Antériorité : Barrow (2006, S138 dans la fiche 23) formule la même distinction, « no reason to expect Goedel incompleteness to handicap the search for a description of the laws of Nature, but we do expect it to limit what we can predict about the outcomes of those laws » ; notre apport se limite à l’étayer par les résultats d’indécidabilité postérieurs (2015-2026) et à en tirer la conséquence pour la question 23.

3. Corollaire quantitatif Chaitin × Lloyd (dérivation). Chaitin : un système de n bits d’axiomes ne prouve « K(x) > n + c » pour aucune chaîne x. Lloyd : l’Univers observable a manipulé au plus environ 10^120 bits. Donc aucun système d’axiomes physiquement réalisé dans l’Univers observable ne démontrera jamais qu’une chaîne particulière a une complexité supérieure à 10^120 + c, alors que presque toutes les chaînes de longueur supérieure à 10^120 la dépassent. Il existe ainsi une classe explicite, infinie, de vérités arithmétiques simples qu’aucune intelligence de cet Univers ne prouvera pour aucun cas particulier. Réserves : la constante c dépend de la machine universelle choisie ; les bornes de Lloyd sont des ordres de grandeur ; l’argument suppose que les axiomes doivent être physiquement stockés.

4. Bornes physiques pour une intelligence de la taille d’un cerveau (dérivation). Avec la borne de Bekenstein I ≤ 2πRE/(ħc ln 2) pour R = 0,1 m et E = mc² avec m = 1,4 kg, on obtient I ≤ 3,6 × 10^42 bits ; avec Margolus-Levitin, au plus 7,6 × 10^50 opérations par seconde ; avec Landauer à 310 K, au moins 3 × 10^-21 J par bit effacé. Ces plafonds sont tellement au-dessus de tout contenu informationnel raisonnable d’un cerveau (ordre de grandeur non sourcé dans cette fiche) que la conclusion est la suivante : pour une intelligence de notre taille, les limites opérantes ne sont pas celles du degré III mais celles des degrés I et II. Un cerveau ne bute pas sur la physique ; il bute sur la logique et sur le calcul bien avant.

5. Conjecture personnelle : conservation de l’ignorance. Toute limite de degré I peut être levée en changeant d’observateur ou de système, mais aucune position d’observateur, aucune extension de ressources finies et aucun changement de modèle de calcul physiquement fondé ne lève simultanément les limites de degrés II et III. Il n’existerait donc pas de trajectoire, pour une intelligence dans cet Univers, qui réduise l’ensemble des vérités inaccessibles à l’ensemble vide ; on ne peut qu’en changer la composition. Ce qui manque pour l’évaluer : un cadre unique où les dispositifs d’inférence de Wolpert reçoivent des bornes de ressources à la Bekenstein-Lloyd, et une preuve que les échappatoires des trois degrés ne se composent pas. Ce qui la réfuterait : un mécanisme physique d’hypercalcul, ou une démonstration que les limites de degré III dépendent d’hypothèses cosmologiques contingentes révisables.

6. Observation historique : 1872 → 2026. Les sept énigmes de Du Bois-Reymond (S018) sont : l’essence de la matière et de la force ; l’origine du mouvement ; l’origine de la vie ; la finalité apparente de la nature ; l’origine de la sensation simple ; la pensée rationnelle et le langage ; la liberté de la volonté (les deux dernières d’après le sommaire usuel, non relues dans l’OCR). Cinq d’entre elles figurent, presque mot pour mot, dans notre liste : questions 06-07-15, 24-26, 33, 31, 36-37 et 40. Cent cinquante-quatre ans plus tard, ce qui a changé n’est pas la liste des questions mais la nature de la réponse : en 1872, « ignorabimus » était un jugement ; en 2026, l’existence de l’inconnaissable est un théorème, et l’identification des questions concernées reste ouverte. Du Bois-Reymond avait, de plus, raison de ne pas classer l’origine de la vie parmi les transcendantes.

Liens avec les autres questions

• 05 : l’existence de faits fondamentaux sans raison plus profonde a un analogue formel (les indécidables de Gödel, l’aléatoire de Ω) ; c’est une analogie, pas une preuve que la physique contient des faits bruts.
• 11, 12, 23 : le « théorème des conséquences » (ci-dessus, point 2) : connaître les lois ne suffit pas ; une théorie du tout ne serait pas une théorie de tout ce qui en découle. L’argument de Hawking (S057) est à traiter comme heuristique. La fiche 23 (synthèse provisoire du 2026-09-12) en fait le sens (c) de « théorie du tout ».
• 13, 14 : Chaitin et Ω fournissent des vérités mathématiques qui ne sont réductibles à aucune raison ; pertinent pour « découvertes ou inventées ».
• 18, 19, 20 : Kochen-Specker (S070) et Eisert et al. (S045) montrent que la mécanique quantique porte des limites de connaissance d’un type propre : absence de valeurs prédéfinies, indécidabilité authentiquement quantique.
• 24, 26, 27 : horizons et « fin de la cosmologie » (S065, S066) : certaines réponses sur la finitude ou le commencement peuvent être inaccessibles en principe, et le deviennent davantage avec le temps.
• 10 : la barrière de Lorenz (S063, S064) relie prédictibilité et multiplicité des échelles, sans se confondre avec la flèche du temps.
• 36, 37, 39 : Breuer (S060) fixe une limite à toute auto-mesure ; cela ne tranche pas le problème de la conscience, mais borne ce qu’un système peut savoir de son propre état. Réserve S021 sur les usages de Gödel en philosophie de l’esprit.
• 40 : Popper (S059) et Wolpert (S061) sur l’impossibilité de l’auto-prédiction complète ; à examiner sans en déduire le libre arbitre.
• 42 : si l’ignorance est conservée (conjecture 5), la question du sens ne pourra pas être fermée par accumulation de connaissance ; à discuter dans la fiche 42.

Sources vérifiées

Consultation les 2026-09-11 et 2026-09-12. « Texte » : texte intégral consulté ; « Résumé » : résumé ou page de la revue ; « Bib. » : données bibliographiques vérifiées seulement (via INSPIRE, Stanford Encyclopedia, Wikipedia ou moteur de recherche), contenu connu par des sources secondaires.

Historique des révisions

• 2026-09-11 : création de la fiche ; contenu de recherche à rédiger.
• 2026-09-12 : première synthèse complète (Claude, sur demande de Teo). Statut passé de « À explorer » à « Synthèse provisoire ». 57 références vérifiées ; six familles de limites ; contributions propres signalées (hiérarchie à trois degrés, théorème des conséquences, corollaires Chaitin × Lloyd et Bekenstein pour un cerveau, conjecture de conservation de l’ignorance, comparaison 1872-2026). Points à réviser : lecture directe de Chaitin 1974 et Popper 1950 ; suivi des prépublications S050 et S053 ; débat Lucas-Penrose non traité.
• 2026-09-12 (b) : crédit d’antériorité à Barrow 2006 pour la contribution 2 ; lien vers la fiche 23 désormais rédigée.