Définir l'unité avant de vouloir tout additionner
Le truc, c'est que pour additionner des choses, il faut d'abord s'accorder sur ce qu'est une "chose". On n'y pense pas assez, mais l'arithmétique repose sur un postulat d'unité qui n'a rien de naturel. Dans la nature, rien n'est parfaitement identique à une autre chose. Deux pommes ne sont jamais strictement les mêmes, l'une est plus rouge, l'autre a une petite bosse. Pour que 1 + 1 fasse 2, l'esprit humain doit faire un effort d'abstraction colossal : il doit décider d'ignorer les différences pour ne garder que le concept pur de l'objet.
Le concept d'objet distinct
Imaginez que vous posiez une goutte d'eau à côté d'une autre goutte d'eau. Si elles se touchent, vous n'avez plus deux gouttes, mais une seule, plus grosse. Là où ça coince, c'est que les mathématiques ne parlent pas de gouttes d'eau, mais d'entités abstraites. Pour que l'addition fonctionne, nous devons traiter chaque "1" comme une entité insécable et immuable. C'est une construction de l'esprit, une règle du jeu que nous acceptons pour pouvoir mettre de l'ordre dans le chaos du monde réel. Sans cette abstraction initiale, le chiffre 2 n'aurait tout simplement aucun sens physique constant.
Pourquoi l'abstraction est une prouesse humaine
On a tendance à croire que les nombres existent dans la nature, mais c'est une erreur de perspective. Les animaux perçoivent des quantités (on appelle ça le sens numérique), mais ils ne font pas d'arithmétique symbolique. Un corbeau sait s'il y a trois ou quatre œufs dans son nid, mais il ne manipule pas le concept de "3" indépendamment des œufs. L'humain, lui, a réussi à détacher le nombre de l'objet. C'est ce passage au symbole qui permet de dire que 1 + 1 = 2, peu importe qu'on parle de planètes ou de grains de sable. C'est puissant, certes, mais c'est une convention que nous avons forgée au fil des millénaires.
La démonstration de Peano ou l'art de compter les successeurs
Si vous demandez à un mathématicien pur et dur de vous prouver que 1 + 1 = 2, il ne sortira pas des billes de sa poche. Il vous parlera de Giuseppe Peano. En 1889, ce logicien italien a voulu poser les fondations de l'arithmétique pour qu'elles soient enfin solides. À l'époque, les maths étaient un peu floues, on se basait sur l'intuition. Peano a dit : "Assez !". Il a créé un système d'axiomes, des règles de base qu'on ne discute pas, pour construire tous les nombres entiers.
L'axiome du successeur
Dans le monde de Peano, on ne définit pas les nombres par leur valeur, mais par leur position. On commence par 0 (ou 1, selon les versions, mais restons sur 0 pour la logique moderne). On définit ensuite une fonction appelée "successeur". Le successeur de 0, on l'appelle 1. Le successeur de 1, on l'appelle 2. C'est tout. L'addition est alors définie comme l'action de passer au successeur suivant. Faire 1 + 1, c'est prendre 1 et chercher son successeur. Par définition, c'est 2. C'est presque décevant de simplicité, non ? Sauf que pour en arriver là, il a fallu formaliser une logique qui ne laisse aucune place à l'interprétation.
Zéro, le point de départ indispensable
Le 0 est la clé de voûte. Sans lui, pas de point d'ancrage. Peano postule que 0 est un nombre entier et qu'il n'est le successeur d'aucun autre nombre (dans l'ensemble des entiers naturels). C'est le big bang des chiffres. À partir de ce rien, on engendre l'infini. La structure de Peano repose sur 5 axiomes fondamentaux qui garantissent que la suite des nombres ne boucle pas sur elle-même et qu'on ne se retrouvera pas avec un 1 + 1 qui ferait 0 par accident. C'est une architecture de l'esprit d'une précision chirurgicale.
L'arithmétique formelle expliquée simplement
Pour être tout à fait précis, l'addition de deux nombres a et b est définie par récurrence. Si b = 0, alors a + 0 = a. Si b est le successeur d'un nombre c (noté S(c)), alors a + S(c) est le successeur de (a + c). Donc, pour calculer 1 + 1 : on sait que 1 est le successeur de 0. Alors 1 + 1 est le successeur de (1 + 0). Comme 1 + 0 = 1, le résultat est le successeur de 1. Et comment appelle-t-on le successeur de 1 ? On l'appelle 2. Voilà, la boucle est bouclée. C'est une tautologie élégante.
Russell et Whitehead : 362 pages pour une seule égalité
On arrive ici au moment le plus absurde et le plus fascinant de l'histoire des sciences. Au début du XXe siècle, Bertrand Russell et Alfred North Whitehead ont entrepris de rédiger les "Principia Mathematica". Leur but ? Démontrer que toutes les mathématiques peuvent être réduites à la logique pure. Ils voulaient éliminer toute trace d'intuition. Le résultat est un ouvrage massif, illisible pour le commun des mortels, rempli de symboles étranges.
Le cauchemar des Principia Mathematica
Il a fallu attendre la page 362 du premier volume pour que les auteurs arrivent enfin à la conclusion que 1 + 1 = 2. Je trouve ça fascinant, et un peu effrayant. Pourquoi autant d'efforts ? Parce qu'ils voulaient prouver que cette égalité n'est pas juste une observation physique, mais une vérité logique absolue, découlant des lois de la pensée elles-mêmes. Ils ont dû définir ce qu'est un ensemble, ce qu'est l'appartenance, ce qu'est l'unité, avant même de pouvoir poser le signe "+".
Pourquoi la logique pure est si gourmande en papier
Le problème, c'est que plus on veut être rigoureux, plus on doit décomposer les concepts simples. Pour Russell, le nombre "2" est l'ensemble de tous les ensembles ayant deux éléments. Mais pour définir "deux éléments", il ne peut pas utiliser le chiffre 2, sinon il tourne en rond. Il doit utiliser des quantificateurs logiques : "il existe un x, il existe un y, x n'est pas égal à y, et pour tout z, si z appartient à cet ensemble, alors z est égal à x ou z est égal à y". Vous voyez le genre ? Multipliez cette complexité par chaque étape du raisonnement, et vous comprenez pourquoi il faut 362 pages pour valider ce qu'on sait instinctivement.
1 + 1 = 2 est-il une vérité universelle ou une invention ?
C'est ici que le débat devient philosophique. Est-ce que les mathématiques existent "là-dehors", dans le cosmos, ou est-ce qu'elles ne sont qu'un langage inventé par nous pour décrire ce que nous voyons ? Si demain nous rencontrions des extraterrestres, feraient-ils aussi 1 + 1 = 2 ? La réponse divise encore aujourd'hui les chercheurs, et honnêtement, c'est flou.
Le réalisme de Platon face au formalisme moderne
D'un côté, les platoniciens pensent que les nombres sont des objets réels, existant dans un monde d'idées pur. Pour eux, 1 + 1 = 2 est une vérité éternelle que nous avons découverte, au même titre que l'Amérique était là avant Colomb. De l'autre côté, les formalistes (comme Hilbert) soutiennent que les maths sont un jeu de symboles avec des règles arbitraires. Si on change les règles, on change le résultat. Je reste convaincu que la vérité se situe quelque part entre les deux : nous avons inventé le langage, mais il décrit des structures qui nous préexistent.
Ce que les neurosciences disent de notre instinct numérique
Des études sur les nourrissons et même sur certains animaux montrent que le cerveau possède un mécanisme inné pour traiter les petites quantités. On appelle cela le "subitizing". C'est la capacité de reconnaître instantanément le nombre d'objets dans un groupe sans les compter un par un. Jusqu'à 3 ou 4, notre cerveau "voit" le nombre. Au-delà, il doit compter. Cela suggère que 1 + 1 = 2 est câblé dans notre biologie. Mais attention, ce n'est pas parce que notre cerveau le perçoit que c'est une vérité absolue de l'univers. C'est juste notre interface avec la réalité.
Quand le calcul dérape : les cas où 1 + 1 ne font pas 2
Sortons un peu du cadre rigide de l'école primaire. Dans certains systèmes, 1 + 1 ne font absolument pas 2. Et ce n'est pas une erreur, c'est juste un changement de contexte. Autant le dire clairement : la vérité dépend du dictionnaire que vous utilisez.
Le binaire et les bases alternatives
En informatique, si vous travaillez en base 2 (le binaire), 1 + 1 = 10. Ce n'est pas "dix", c'est "un-zéro". Le chiffre 2 n'existe pas dans cet alphabet. C'est un exemple frappant de la manière dont la notation influence notre perception du résultat. Le résultat : la même quantité physique, mais une expression différente. Si on passe en algèbre de Boole, utilisée pour les circuits logiques, 1 + 1 = 1. Ici, le "+" signifie "OU". Si vous avez du courant (1) OU du courant (1), vous avez toujours du courant (1). Ça change la donne, n'est-ce pas ?
L'exemple de la chimie et des volumes non additifs
Prenez 1 litre d'eau et 1 litre d'alcool pur. Mélangez-les. Vous n'obtiendrez pas 2 litres de mélange, mais environ 1,92 litre. À cause des interactions moléculaires, les espaces entre les molécules se comblent et le volume total diminue. Dans le monde physique, l'addition est souvent une approximation. 100% de précision mathématique ne garantit pas 100% de réalité physique. C'est là où le bât blesse pour ceux qui pensent que les maths sont le miroir parfait du monde.
Questions fréquentes sur les bases de l'arithmétique
Peut-on prouver que 1 + 1 = 2 sans les axiomes de Peano ?
Oui, on peut passer par la théorie des ensembles de Zermelo-Fraenkel. Dans ce cadre, on définit 0 comme l'ensemble vide. 1 est l'ensemble contenant l'ensemble vide. 2 est l'ensemble contenant 0 et 1. L'addition est alors une opération de réunion d'ensembles disjoints. C'est une autre manière d'arriver au même sommet, mais le chemin est tout aussi escarpé. Soit dit en passant, la plupart des mathématiciens modernes utilisent cette base plutôt que celle de Peano, car elle est plus puissante pour construire le reste des mathématiques.
Pourquoi les ordinateurs disent que 1 + 1 = 10 ?
C'est une confusion classique entre la valeur et la représentation. Un ordinateur utilise des interrupteurs qui ne connaissent que deux états : Allumé (1) ou Éteint (0). Pour représenter la quantité "deux", il n'a pas d'autre choix que d'utiliser deux colonnes, comme nous passons de 9 à 10 en base dix. Le "10" binaire signifie "une fois deux et zéro fois un". C'est exactement la même quantité que notre "2", c'est juste un costume différent.
Est-ce que 1 + 1 pourrait faire 3 dans un autre univers ?
Si les lois de la logique sont universelles, non. Mais si vous vivez dans un univers où les objets fusionnent ou se multiplient spontanément dès qu'ils sont proches, alors votre arithmétique serait différente. Cependant, même dans ce cas, le concept pur de 1 + 1 resterait 2, c'est juste qu'il ne serait d'aucune utilité pour décrire votre quotidien. Les maths sont une logique interne, elles ne dépendent pas de la météo ou de la gravité.
L'essentiel sur cette obsession du chiffre
Au final, pourquoi s'est-on donné tant de mal pour prouver une évidence ? Parce que la solidité d'un édifice dépend de ses fondations. Si on ne peut pas prouver rigoureusement que 1 + 1 = 2, alors on ne peut pas être sûr que les calculs qui maintiennent les ponts debout ou qui cryptent vos transactions bancaires sont fiables. Les mathématiques sont une pyramide inversée : tout repose sur cette minuscule pointe de logique initiale. On est loin du compte si l'on pense que c'est un sujet trivial. C'est, au contraire, l'un des plus grands triomphes de l'esprit humain : avoir réussi à transformer une intuition banale en une certitude absolue, indestructible, capable de résister à l'épreuve du temps et de la raison. 1 + 1 font 2 parce que nous avons construit un univers mental où il ne peut en être autrement, et c'est précisément cette rigueur qui nous permet de comprendre tout le reste.