029 / 100
Existe-t-il des vérités mathématiques indémontrables ?
Les théorèmes d'incomplétude de Gödel, et l'usage abusif qui en est massivement fait.
Pourquoi cette question compte
Un résultat technique aux conséquences réelles sur les limites du formalisme — et le plus déformé de toute l'histoire des mathématiques.