Les théorèmes d'incomplétude de Gödel | Infini 18
Vložit
- čas přidán 11. 12. 2016
- 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...
sciencetonnante.wordpress.com...
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.com/fr/
The Technical Part of Gödel's Proof | Secret Blogging Seminar
sbseminar.wordpress.com/2009/...
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.org/wiki/Th%C3%A...
Je me rend compte que tu te film sur un fond vert pour pouvoir après, en postprod, remettre un fond vert derrière toi. C'est fou !
Je crois que le plus incroyable dans tes vidéos, c'est le pied que tu prends à chaque fois à parler de ton sujet! ^^
J'attendais cette vidéo avec impatience !
Cette vidéo est un parfait exemple d'incomplètude !
Un grand MERCI pour toutes ces vidéos ! C'est clair, drôle et j'apprends plein de trucs. Bon, j'avoue que certains sujets me font plus mal au crâne que d'autres mais cette transe intellectuelle est quand même agréable :) Ah si seulement ces chaines avaient existé quand j'étais en prépa... Bonne continuation !
Bonsoir, continues comme ça, tu fais un travail merveilleux et toutes tes vidéos sont un plaisir à regarder, écouter, assimiler et comprendre
Ton intro m'a SURTOUT donné envie de lire Logicomix ! 😀😀
3 jours après une autre vidéo sur science étonnante... j'adore
Pas de souci pour la prononciation.
Mini défi-Lê 1 : mod(n,p) = r ≡(∃k, (p×k)+r=n)∧(∃l, r+Sl=p)
j'adore l'encodage des prédicats mathématiques :)
J'avoue que cette vidéo me laisse sur ma faim car je pensais que tu allais notamment creusé le sujet du deuxième théorème d'incomplétude. Les travaux de Leonid Levin à ce sujet qui montrent qu'on ne peut pas compléter une théorie même en utilisant le hasard sont intéressants.
Je découvre et vait creuser ça un peu plus, Merci
Woah on est pas loin d'un épisode Hardcore la xD moi qui a des lacunes en math et qui a déjà eu un peu de mal avec la vidéo de ScienceEtonnante la j'avoue je vais devoir la regarder encore 1 ou 2 fois x)
C'est pas faux.
J'aime beaucoup la forme de narration que tu utilises (cf le début de la vidéo).
Remarquons que si l'on remplace le mot MATHÉMATIQUES par le mot ÉTAGÈRE, non non-seulement l'incomplétude n'apparaît pas comme un défaut, mais au contraire comme une caractéristique très rassurante montrant qu'on pourra toujours l'étendre au fur et à mesure de nos besoins à venir :-)
Le théorème de goedel d’incompréhension
J'vais prendre un rail de Coke moi !
Salut Lê, excellente vidéo (comme d'habitude) !