Les théorèmes d'incomplétude de Gödel | Infini 18

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

Nästa avsnitt

S01E68 - Les "mathématiques modernes" de Bourbaki | Infini 19