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
https://www.youtube.com/playlist?list=PLtzmb84AoqRRgqV5DfE_ykuGQK-vCJ_0t
Les théorèmes d'incomplétude de Gödel | Science Étonnante
https://www.youtube.com/watch?v=82jOF4Q6gBU
https://sciencetonnante.wordpress.com/2016/12/09/theoreme-godel/
Incomplétude | Passe-Science
https://www.youtube.com/watch?v=SBwupYwDgHg
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/12/07/the-technical-part-of-godels-proof/
Un site web pour taper des formules mathématiques : http://math.typeit.org/
4 paradoxes sur la logique mathématique | Infini 17
https://www.youtube.com/watch?v=5VepnhwLfSw
Les pages wikipédia sont très complètes sur l'incomplétude (lol)
https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8mes_d'incompl%C3%A9tude_de_G%C3%B6del