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

Sdílet
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...

Komentáře • 295

  • @Djorgal
    @Djorgal Před 7 lety +77

    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 !

  • @juliengradoz7503
    @juliengradoz7503 Před 7 lety +34

    Je crois que le plus incroyable dans tes vidéos, c'est le pied que tu prends à chaque fois à parler de ton sujet! ^^

  • @quentindallison3060
    @quentindallison3060 Před 7 lety +11

    J'attendais cette vidéo avec impatience !

  • @Richard22444
    @Richard22444 Před 12 hodinami

    Cette vidéo est un parfait exemple d'incomplètude !

  • @cedric9692
    @cedric9692 Před 7 lety +4

    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 !

  • @hugomenager690
    @hugomenager690 Před 7 lety +1

    Bonsoir, continues comme ça, tu fais un travail merveilleux et toutes tes vidéos sont un plaisir à regarder, écouter, assimiler et comprendre

  • @supermarioplayersmp
    @supermarioplayersmp Před 5 lety +6

    Ton intro m'a SURTOUT donné envie de lire Logicomix ! 😀😀

  • @Freddy_grobill
    @Freddy_grobill Před 4 lety

    3 jours après une autre vidéo sur science étonnante... j'adore

  • @stephaneduhamel7706
    @stephaneduhamel7706 Před 7 lety +14

    Pas de souci pour la prononciation.

  • @Djorgal
    @Djorgal Před 7 lety +13

    Mini défi-Lê 1 : mod(n,p) = r ≡(∃k, (p×k)+r=n)∧(∃l, r+Sl=p)

  • @jercki72
    @jercki72 Před 7 lety

    j'adore l'encodage des prédicats mathématiques :)

  • @alainrogez8485
    @alainrogez8485 Před 7 lety

    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.

  • @jean-francoisguilbo7833

    Je découvre et vait creuser ça un peu plus, Merci

  • @anonnymousse4540
    @anonnymousse4540 Před 7 lety +7

    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)

  • @anotherworldanothertime7717

    C'est pas faux.

  • @hydroxychloride9077
    @hydroxychloride9077 Před 7 lety +3

    J'aime beaucoup la forme de narration que tu utilises (cf le début de la vidéo).

  • @Paganel75
    @Paganel75 Před 6 lety +32

    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 :-)

  • @frasiersprite6474
    @frasiersprite6474 Před 5 lety +10

    Le théorème de goedel d’incompréhension

  • @Fondation3
    @Fondation3 Před 7 lety +16

    J'vais prendre un rail de Coke moi !

  • @kubrick73
    @kubrick73 Před 7 lety +3

    Salut Lê, excellente vidéo (comme d'habitude) !