Parlons des théorèmes les plus fous des mathématiques ! L'incomplétude de Gödel a fait faire des cauchemars à des générations de logiciens et de mathématiciens ! Et on en voit les grandes lignes de la démonstration.

Playlist sur l'infini et les fondations mathématiques | Science4All
   • L'infini et les fondations mathématiques  

Les théorèmes d'incomplétude de Gödel | Science Étonnante
   • Les théorèmes d'incomplétude de Gödel  
https://sciencetonnante.wordpress.com...

Incomplétude | Passe-Science
   • Le théorème d'incomplétude, la révolu...  

Logicomix (une excellente BD sur l'Histoire des fondations des maths autour de 1900)
http://www.logicomix.com/fr/

The Technical Part of Gödel's Proof | Secret Blogging Seminar
https://sbseminar.wordpress.com/2009/...

Un site web pour taper des formules mathématiques : http://math.typeit.org/

4 paradoxes sur la logique mathématique | Infini 17
   • 4 paradoxes de la logique mathématiqu...  

Les pages wikipédia sont très complètes sur l'incomplétude (lol)
https://fr.wikipedia.org/wiki/Th%C3%A...