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    • 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évolution ...   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ématique | I...   Les pages wikipédia sont très complètes sur l'incomplétude (lol) https://fr.wikipedia.org/wiki/Th%C3%A...