Les mathématiciens adorent les nombres premiers ! Non seulement ils sont à la base de problèmes simples mais encore non-résolus, comme la conjecture de Goldbach dont je parlais ici (tout nombre pair serait la somme de deux nombres premiers), mais les nombres premiers s’avèrent également très utiles dans la vie réelle, comme avec l’algorithme de cryptage RSA qui sert à protéger un grand nombre de nos secrets informatiques ou bancaires (sujet d’un autre billet).
Pour ces raisons, les mathématiciens adoreraient disposer d’une machine à fabriquer des nombres premiers, ou tout du moins d’une formule qui permette d’en construire à volonté.
C’est en cours de philo que j’en ai entendu parler pour la première fois ! Notre prof nous faisait un cours sur la logique et ses fondements, et c’est alors qu’elle le mentionna : le fameux théorème de Gödel, celui qui prouve que quoi qu’on fasse, il existe des énoncés mathématiques vrais, mais indémontrables. Les mathématiques resteront à tout jamais un édifice imparfait !
