Ils ont fait trembler les mathématiques ! (#CMH45)

Au début du XXe siècle, des mathématiciens comme Gödel, Russel et Hilbert se sont demandé s'il était possible de prouver la validité des mathématiques par elles-mêmes. Cette quête a déclenché la « crise des fondements », dont les théorèmes d'incomplétude de Gödel marquent l'aboutissement.