Les preuves de certains théorèmes mathématiques sont-elles si compliquées qu'il serait impossible de vérifier leur validité ?

Une démonstration d'un énoncé mathématique doit...

Lire la suite : La fin des certitudes en mathématiques ?