Les théorèmes d'incomplétude de Gödel | Infini 18
HTML-код
- Опубликовано: 22 окт 2024
- 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 fondat...
Les théorèmes d'incomplétude de Gödel | Science Étonnante
• Les théorèmes d'incomp...
sciencetonnant...
Incomplétude | Passe-Science
• Le théorème d'incomplé...
Logicomix (une excellente BD sur l'Histoire des fondations des maths autour de 1900)
www.logicomix.c...
The Technical Part of Gödel's Proof | Secret Blogging Seminar
sbseminar.word...
Un site web pour taper des formules mathématiques : math.typeit.org/
4 paradoxes sur la logique mathématique | Infini 17
• 4 paradoxes de la logi...
Les pages wikipédia sont très complètes sur l'incomplétude (lol)
fr.wikipedia.o...