Ce que les théorèmes d’incomplétude de Gödel prouvent vraiment
Ils ne rendent pas les mathématiques incertaines : les théorèmes de Gödel fixent une limite précise aux systèmes formels assez puissants pour décrire l’arithmétique.
L’actualité, les repères et les regards de la rédaction.
Ils ne rendent pas les mathématiques incertaines : les théorèmes de Gödel fixent une limite précise aux systèmes formels assez puissants pour décrire l’arithmétique.