Le serpent qui se mord la queue est un symbole ancien du cercle vicieux. C'est exactement une telle boucle que des mathématiciens ont créée : une formule logique qui se nie elle-même. Un ensemble d'un million de conditions possède exactement une combinaison de variables qui le rend vrai. Ajoutons une modification minuscule : « cette solution unique est interdite ». Extérieurement, la formule n'a pas changé, mais à l'intérieur elle est vide — la réponse a disparu. Et aucun regard sur une petite partie ne remarquera le piège.
Pour prouver la contradiction, il faut énumérer presque toutes les possibilités. Le nombre d'étapes croît de manière explosive — comme 2 puissance N. Pour un million de variables, cela dépasse le nombre d'atomes dans l'univers observable.
Les ordinateurs quantiques et l'algorithme de Shor accélèrent l'énumération, mais n'éliminent pas sa croissance exponentielle. L'apprentissage automatique, la simulation numérique, l'analyse stochastique — tout se heurte à un mur : le comportement collectif d'un système ne peut pas être réduit à des règles simples. Même toute l'information quantique est impuissante.
Ainsi, l'ouroboros logique boucle la boucle. Le déficit d'information — l'entropie — est inhérent à la nature même du problème. Ce n'est pas une difficulté technique, mais une limite fondamentale, comme dans le théorème d'incomplétude de Gödel. Le serpent qui avale sa queue rappelle : la vérité globale ne peut pas être saisie en examinant des fragments.
En 1956, Kurt Gödel a demandé à John von Neumann, mourant, si l'on pouvait vérifier rapidement des formules logiques. Il n'a pas obtenu de réponse. Aujourd'hui, on comprend : la clé réside dans cette même incomplétude que Gödel avait découverte plus tôt.
Cette même auto-référence, que Douglas Hofstadter dans « Gödel, Escher, Bach » a appelée « boucle étrange » et clé de la conscience, dessine une limite pour l'intelligence artificielle.