rip mes heures de cours de français a essayer de trouver un contre exemple :(

@LeFizolof

2 жыл бұрын

C'est comme ça que tu te retrouve avec un 7 au Bac de Français. J'ai eu 7 au Bac de Français.

@z0ru4_

Жыл бұрын

@@LeFizolof alors le contre exemple?

@LeFizolof

Жыл бұрын

@@z0ru4_ Chuis déjà en prépa et il est toujours pas arrivé

@userhomer

8 ай бұрын

Tu peux toujours chercher c'est un théorème ( donc il n'en existe aucun )

C'est d'ailleurs mon professeur d'université en informatique qui a été l'un des développeurs du logiciel COQ, et j'ai appris à l'utiliser dans mes études :)

@Pacotille_6529

7 жыл бұрын

Moi aussi c'était Christine Paulin et toi?

@Rackoon

5 жыл бұрын

Ooh x) j'étais pas près à te retrouver sur une vidéo de 50k vues :)

@tfjdfc2093

4 жыл бұрын

@@Rackoon de même

@kasmo5606

4 жыл бұрын

Ok je suis perdu

@Kirbo029

4 жыл бұрын

misterflech, je t'aime

Merci pour cette vidéo ! J'aime beaucoup le fait que vous donniez les grandes lignes de la démonstration sans pour autant rentrer dans les détails, ça nous permet de mieux apprécier le génie des mathématiciens qui ont travaillé sur le sujet ;-)

@ElJj

7 жыл бұрын

Merci ! :)

10:56 J'imagine la réaction du type qui a trouvé l'erreur... Le parfait opposé du développeur qui trouve le point virgule manquant !

@tctrainconstruct2592

5 жыл бұрын

haha point virgule c++

@sajeucettefoistunevaspasme

3 жыл бұрын

@@tctrainconstruct2592 TOUT LES AUTRES LANGAGES ONT CE POINT VIRGULE sauf un

@ducfelix9617

2 жыл бұрын

@@sajeucettefoistunevaspasme Il n'a que python qui n'utilise pas les points virgules ? ça m'étonnerait

Super vidéo ! Mais je trouve que le jaune et le vert étaient trop proche. Mais ça restait discernable !

@avkLab

5 жыл бұрын

Indiscernable hélas pour un daltonien deutéranope. Sinon, excellente vidéo en effet !

@StephSinalco

5 жыл бұрын

Pareil :(

@haganesmasher9245

10 ай бұрын

Au final vous arrivez à la conclusion de William Hamilton,vous aussi vous avez d'autres projets que colorier des cartes.

@Abraccuda

10 ай бұрын

@@haganesmasher9245 J'ai bien peur de ne pas comprendre votre blague :'(

@haganesmasher9245

10 ай бұрын

@@Abraccuda Je préfère dire que c'est de l'ironie pas une blague.Regarde vers la fin tu verras qu'il dira que ce problème a été résolu et n'a pas ouvert la voie pour aider à résoudre d'autres questions ou problèmes mathématiques.Donc pour moi voici le genre de problème auquel il ne faut pas s'y attarder.Donc William Hamilton avait raison de dire qu'il a d'autres projets plus intéressants que colorier des cartes.

Science Etonnante avait déjà parlé de ce sujet. Mais je dois avoué que ta video est plus claire! ;)

@CdFMasterVideo

7 жыл бұрын

Et surtout les démonstrations, même fausses, sont expliquées !

À la vidéo s'est lancé automatiquement. Je me suis dit oula ça va être chiant. J'ai heureusement attendu un petit moment et ho mon Dieu qu'est-ce que c'était passionnant. Merci beaucoup pour cette super vidéo !!! :D

Et quand t'es daltonien et que tu vois pas la différence entre le vert et le jaune, tu comprend rien.. Rip moi

@davutsauze8319

4 жыл бұрын

Ne t'en fais pas, je suis pas daltonien et j'ai rien compris non plus :/

Ça va à fond, faut s'accrocher mais c'est la vidéo la plus complète & compréhensible que j'ai pu voir à ce jour sur ce sujet passionnant. Elle est carrément meilleure que celle de Science Etonnante

Incroyable vidéo ! Quelle qualité et quel sens du détail ! Merci El Jj :)

Trop chouette, j'ai vu tout ça l'année dernière lors de mon M1, ça fait très plaisir de retrouver ces démonstrations avec une explication claire et visuelle. Bravo ;)

je sais pas comment je suis arriver sur cette vidéo mais c'est super intéressante. merci de cette info

Bravi pour cette vulgarisation très pédagogue ! Je crois que c'est la première fois que j'arrive à comprendre parfaitement un théorème après 3 années d'études au fait

Une démo du thm des 4 couleurs, plutôt un ambitieux projet pour une vidéo de 12 minutes! C'est franchement bien mené, même si la fin est un peu rapide (surtout le passage avec les interversions vert-jaune, il va falloir que je me concentre un peu plus). En tout cas, super vidéo. Je savais pas que la recherche en maths était encore aussi active!

Excellente vulgarisation El jj ! La théorie des graphes c'est toujours chiant à comprendre mais là c'était vraiment clair et aucun détail n'est omis !

Je trouve que ta vidéo est vachement sympa pour comprendre le cheminement d'une pensée scientifique Pour des étudiants ça nous parait toujours un peu hors de portée de comprendre comment ils arrivent à démontrer telles choses avec leurs petites mains et là c'est super bien décortiqué et très clair Une de tes meilleures vidéos d'après moi malgré le sujet qui est assez .. disons pas trop intéressant :D

Merci pour toutes tes vidéos très bien réalisées, c'est toujours un plaisir.

Super idée d'avoir insérer des bouts de démo :) je n'avais jamais compris quels étaient ces milliers de "cas de base" à examiner, merci :)

Pendant ce temps , je continue de dépasser les lignes quand je coloris

@Z0RG4

4 жыл бұрын

Et sinon on en parle que la vidéo est sortie ya 2 ans et que ça fait que maintenant qu'un petit groupe de personne la découvre (dont toi et moi) 😂

@diabolor1921

4 жыл бұрын

zorgana78 Putaint moi aussi !

@Wixop

4 жыл бұрын

@@Z0RG4 bha je trouve qu'on fait tâche 😂😂

@dreakexacios349

4 жыл бұрын

et moi je la découvre 8 mois après vous ^^'

@eloisrenou4905

3 жыл бұрын

@@dreakexacios349 he ho

Je sais que j'arrive un peu tard, mais est-ce que le champs ouvert par cette démonstration n'est pas l'automatisation de certaines démonstration ? Ainsi les outils pour vérifier un programme ont été développés et prouvés. Non ?

@RSvieo

5 жыл бұрын

bonne question

génial comme toujours ! Et où peut-on trouver les 633 configurations ? merci d'avance

Le choi des couleurs est vraiment bien ! La première récurrence m'a beaucoup plu ! Mais la 2eme est carrément bluffante ! (inversion des couleurs) En fait, TOUTES les explications exposées sont top ! A revoir un peu plus tard, j'ai un peu décroché sur la fin, mais c'est beau !

Génial ! Cette chaîne ne perd pas en qualité, je suis toujours content de voir une nouvelle vidéo d'El Jj. Je me demande simplement quel a été l'accueil de la communauté mathématique à l'époque. Est-ce qu'une démonstration informatique comme celle-là a été critiquée à cause de l'automatisation, ou à cause de ce qui est expliqué à la fin (elle n'ouvre pas la voie vers d'autres problèmes/domaines mathématiques) ? Il me semble qu'aujourd'hui les preuves assistées par ordinateur sont bien plus courantes et beaucoup plus acceptées ?

@fili3907

5 жыл бұрын

Il me semble qu'on préfère tout de même les démonstrations à l'ancienne, faites à la main. L'aide informatique est cependant indispensable dans certains cas, on ne sait pas faire autrement

Coq !

Jaune vert Indiscernable, pénible mais la vidéo est très bien expliqué continu c'est du génie ce que tu fais !

Très bonne vidéo, comme d'habitude. Continue comme ça!

Salut El Jj super vidéo comme d'habitude, continue comme ça ! Pour savoir, tu pourrais faire une vidéo sur le théorème de réarrangement de Riemann (je crois bien que c'est ce nom) que je trouve totalement fascinant ?

@ElJj

7 жыл бұрын

Je n'ai rien de prévu sur ce sujet, mais je crois que Lê de la chaine Science4all a traité de ce sujet (je ne sais plus exactement dans quelle vidéo, cependant).

la conclusion est super intéressante! super vidéo

Voir l'informatique comme un outil pour les mathématiques peut aussi être envisagé avec ce théorème ! Il a ouvert beaucoup de portes mais pas celles que l'on considère " nobles " ;) Ps: t'es quand même toujours le meilleur !

T'es un des meilleurs vulgarisateur que j'ai vu, aux cotés d'Aurélien Barrau ou encore Vsauce

J'ai adoré, continue comme ça !

super video, à regarder plusieurs fois, merci beaucoup El Ji

juste extra super travail continue comme ça

Salut, tu utilises quel logiciel pour faire tes animations ?

@antoine2571

2 жыл бұрын

GeoGebra Désolé de la réponse tardive

Super explication encore une fois ! :D

J'ai fait mon grand oral sur ce théorème grâce à votre vidéo, merci bcp!

Le "C'est vraiment trop demander ?" n'était pas nécessaire xD, si le nombre de configuration minimale est de 633 vas y prouve le le théorème xD mais chouette vidéo.

J'adore tes vidéos !

Super vidéo ;) Je connaissait déjà ce théorème :) !

bah super j'ai mis 3 minutes à me rendre compte que je faisais pas la différence entre vert et jaune :)

Mais j'ai pas bien compris, sur quelles données tu coloris deux territoires/etat/ etc de la même couleur ?

Génial, continue !

super vidéo merci. Juste un mini bemol sur la couleur verte un peu trop proche du jaune je trouve, ce qui rends la lecture plus difficile.

Bonjour, tout d'abord merci pour la qualité de tes vidéos. Pourrais-tu faire une vidéo pour présenter un algorithme de plus court chemin en théorie des graphes ?

@ElJj

7 жыл бұрын

Ce n'est pour l'instant pas au programme, mais je garde de côté toutes les idées que l'on me propose.

2:30 à droite du Colorado peut on conciderer que la liaison entre ces deux régions bleues est un quadripoint?

@louvio8783

4 жыл бұрын

Et aussi tout au Nord-ouest des états-unis

@romainvillar9783

4 жыл бұрын

Non, le muscle de la cuisse se nomme le quadriceps Et on écrit conSiderer et non pas avec un C comme vous avez pu le faire

@elliotberteaud9147

4 жыл бұрын

Everything's gonna be alright 😂

@Gachette00

3 жыл бұрын

Aie j'ai effectivement l'impression que ce coloriage n'est pas bon

Je ne comprends pas le passage de la réduction du losange de birkoff, en particulier la phrase : "En remplaçant cette configuration par celle-ci, on obtiendra une carte plus petite". En quoi substituer une configuration par une autre va répondre à la première ? comment ça "une carte plus petite" ? c'est en terme de nombre de région ? sinon bonne vidéo.

Fabuleux, comme d'hab.

Est-il possible, la prochaine fois que tu fais une vidéo en utilisant des notions de couleurs d'utiliser des verts et jaunes un peu plus marqués ? :D Je connaissait déjà le théorème mais mon daltonisme m'as fait mettre pause à plusieurs moment parce que je bloquais sur les couleurs. (en gros, le jaune et le vert sont identiques pour moi, c'est comme si tu me démontrait que 1+1 = 2 mais qu'à la place du 2 tu utilisais un 3 (mais qui aurait toujours le sens du 2), tu as beau le savoir à la fin tu reste troublé parce que tu viens de voir :)

@ElJj

7 жыл бұрын

Mea culpa, j'avoue ne pas avoir pensé aux daltoniens. En tout cas, j'essaierai de faire un peu plus attention dans mes prochaines vidéos si j'utilise des couleurs dans un raisonnement.

@MrChunbin

7 жыл бұрын

Merci beaucoup !

Mais justement, le fait que la démonstration soit décevante ne pousserait-il pas des mathématiciens à chercher une démonstration plus élégante et/ou plus ouverte, et augmentant par la même, les chances de faire d'autres découvertes, et de poser d'autres questions ? Comme dans certains jeux vidéos, en cherchant à ouvrir une porte verrouillée, on passe par un chemin complètement différents, on ouvre d'autres portes, on passe par d'autres pièces et on arrive finalement derrière celle qui nous posait problème, tout en ayant découvert un bâtiment entier.

@fili3907

5 жыл бұрын

Je pense qu'ils vont quand même plutôt essayer de continuer à démontrer de nouvelles choses. Y a plus de chances que ce soit utile

Amazing!

juste comme ça, je réve ou son vert et son jaune sur ses cartes sont identique ? :s

@Endbloody

7 жыл бұрын

je ne suis pas daltonien c'est sur ^^ mais bon, ou alors je vien de le devenir XD

@ElJj

7 жыл бұрын

Mea culpa ! Sur mon écran, les couleurs sont bien discernables, mais c'est vrai que les couleurs sont un peu trop proches.

@Endbloody

7 жыл бұрын

plus précisement a certain endroit je vois une dif a d'autre non, c'est bizzare, ça vien du coup probablement de la repartition des couleur de l'ecran ou je suis, les couleurs étant proche suffi que ce soit mal équilibré pour que cela pose probléme.

@StellaNoxFr

7 жыл бұрын

Personnellement je les distingue parfaitement. Ça dépend sans doute de la configuration de nos écrans/carte graphique. :)

très bonne vidéo! Du coup si on met la main à la patte et qu'on tente de démontrer à la main ce théorème (mais si sacre bleu ca risque d'être très long), peut-être que le "mur" sauteras, qu'on aura une démonstration plus attrayante et qu'on pourras en déduire d'autres problèmes et d'autres voix de recherches non?

@ElJj

7 жыл бұрын

Si ça valait le coup de faire tout le travail à la main, il aurait été fait. Avec la force d'internet aujourd'hui, une démonstration qui demande d'étudier des milliers de cas peut être fait assez rapidement. Seulement, on ne le fait pas simplement parce que la démonstration n'est en elle même pas particulièrement passionnante. Il s'agit juste des mêmes arguments répétés des milliers de fois dans des ordres plus ou moins similaires. Ce qui serait intéressant, ça serait de trouver des manières radicalement différente de procéder !

@Paradoxeism

7 жыл бұрын

D'accord merci je visualise mieux maintenant. Du coup personne n'est-il venu à bout de l'autre démonstration possible, celle par récurrence? Elle offrirais peut-être un autre regard sur la question

Je veux pas dire, mais sur la carte à 2:29, les états en bleu au milieu on une frontière commune et partagent la même couleur ^^

@ElJj

3 жыл бұрын

Chut ! Faut pas le dire trop fort !

Ca va trop vite le cerveau a pas le temps de refroidir :(

@Corrupt_W

4 жыл бұрын

met la video en X0.5

quel est la différence entre colorable et coloriable ? (les deux apparaissent)

5:00 - « Si toutes les cartes à N régions… » - le commentaire audio fait une erreur de logique, puisqu’il faudrait dire « Si toute carte à N régions… » au SINGULIER.

Superbe vidéo :) Dommage, tu ne nous dis pas pourquoi ça ne marche pas sur un tore !

Tellement efficace l’intro, tu n’as rien à envier à Mr beast

Super !

Informaticien passionné (et proche des maths), je suis assez âgé pour avoir entendu l'annonce de cette démonstration ce qui avait plongé la communauté math dans l'embarras.

Un peu compliqué pour un daltonien de différencier le vert et le jaune sur les cartes, mais super vidéo !

@oce23_20

4 жыл бұрын

Déjà que sans être daltonien c'est limite, je comprends que ce soit compliqué...

Bonne vidéo même si (format oblige ? ) cela va un peu trop vite. Tu t'es un peu emmêlé les pinceaux (de couleurs, oh, oh) en mélangeant les termes 4-colorable et 4-coloriable.

@ElJj

7 жыл бұрын

Oui, je ne m'en suis aperçu qu'au montage, je me suis dit que ce n'était pas bien grave ;)

Ouuuuui je l'adore

peut on ajouter une dimension et dire qu'un volume sous divisé est X-coloriable ?

@ElJj

7 жыл бұрын

En fait, on peut voir que le théorème ne se généralise pas aux dimensions supérieures, on peut facilement fabriquer plusieurs "régions 3D" où chacune touche chacune des autres (sur le modèle des neurones).

Pile quand je viens de finir le chapitre de la récurrence en maths x)

Ah c'est dommage, je l'avais prouvé mais j'ai perdu le papier. Kappa

@zackfairlily4645

3 жыл бұрын

Ok Pierre de Fermat excuses nous, on s'est toujours pas appliqué à faire des marges moins étroites...

Le Drapeau Breton est ici utiliser pour représenter la Région Administrative de Bretagne, qui a elle meme un autre drapeau. La Bretagne est composée des 5 départements, la Region Bretagne de 4. #44BZH

bonne video :-)

J'ai vraiment mieux compris ce problème. Bravo ;) Mais du coup je me demande si il existe une procédure (un algorithme) qui, si on lui donne une carte, trouve le bon coloriage avec 4 couleurs plutôt que d'y allez à tâtons.

@JetLunatik

7 жыл бұрын

NP complet : on peut vérifier qu'une coloration est bonne assez rapidement avec un ordi, mais lorsqu'on veut la trouver, on galère un max : on fait un nombre de calcul exponentiellement grand...

@akanegally

7 жыл бұрын

Euh moi j'en ai réalisé un qui fonctionne très bien. En fait il s'agit bien d'un problème NP-Complet mais les contraintes sont très fortes. Du coup, en pratique, une solution peut être trouvé assez rapidement par un algo de type backtracing et une bonne heurisistique pas difficile à trouver d'ailleurs.

@JetLunatik

7 жыл бұрын

akanegally Absolument ! mais pour trouver une solution, sure à 100%, qui est optimale, on ne peut pas faire mieux, dans l'état actuel des choses, qu'un algo exponentiel.

@anonyme8945

7 жыл бұрын

L'abus d'algorithme heuristique est mauvaise pour la santé. xD

J'avoue, moi aussi je suis déçu, je m'attendais vraiment a une longue démonstration qui me donnerais mal au crâne, et a la place j'obtiens un "bah on a testé et le théorème est admis"...

Ralala, les démonstrations mathématiques, c'était mieux avant !

bonne vidéo

Est-ce que le théorème est vrai sur un globe, un tore ou sur un ruban de mobiüs ?

@ElJj

7 жыл бұрын

Sur une sphère, le théorème des 4 couleurs est vrai. Sur un tore, il devient le théorème des 7 couleurs (que j'ai illustré de façon cryptique à la toute fin de la vidéo). Cela a d'ailleurs été démontré bien avant le théorème des 4 couleurs pour le plan. Pour le ruban de Moebius, c('est le théorème des 6 couleurs.

@konodinger

7 жыл бұрын

D'accord, merci beaucoup! Tu pourrais faire une vidéo sur la quatrième dimension ? En tout cas, j'attends avec impatience la prochaine!

J'ai essayer pour 5 couleurs qu'il me faut un féralguant

C'est marrant parce que j'avais trouvé le truc de la composante de Kamp quand j'étais poti, heureux de voir que c'était pété.

Ça donne quoi en 3D ?

@crazymonky2001

6 жыл бұрын

pas une carte

@julienveron1427

6 жыл бұрын

Quentin D rien, toutes les régions pouvant se toucher entre elles.

@pierrelacombe4757

6 жыл бұрын

Ah, en 3D, c'est la prise de tête. Mais je suis heureux d'annoncer qu'après mure réflexion, je suis arrivé à prouver qu'en 1D c'est assez simple : deux couleurs suffisent. Le cas des espaces à nombre de dimensions non entiers va sûrement m'empêcher de dormir.

@abdusselamzahma7474

5 жыл бұрын

En 3D c'est plus vrai. Il y a par exemple des cas où dans un tore il faut 5 ou plus couleurs. Mais il a bien précisé que la théorie des 4 couleurs c'est dans un plan

@valovanonym

4 жыл бұрын

@@pierrelacombe4757 un 0D 1 couleur suffit... mais ça sers à rien ':)

il me semble qu'il existe une demonstration par la theorie des graphes. Voir le livre "Introduction to graph theory" par Wilson,Robin J. pages 88 - 92.

J’ai trouvé un contre exemple (fait un carré, tu le coupe en 4 carré identique. Maintenant ajoute un grans carré autour et bam, le carré est incoloriable) 😅

@ElJj

7 күн бұрын

Les carrés qui se touchent par la pointe peuvent être de la même couleur, trois couleurs suffisent donc.

Yeyh🤯 mon cerveau as pas resister mais super video

À 20s, que vient faire le drapeau étasunien planté sur la Bretagne ?

Sympathique

alfred kempe, ce n'est pas "alfred campe", c'est "alfred kem'pé" (je ne sais pas écrire en phonétique.... par contre, vidéo bien sympathique, bravo!!!)

un épisode sur perelman !?

Et en 3D c'est combien de couleur ? Parce que ca ne conserne que la 2D quand on parle de carte nan ?

Coucou, ta vidéo est géniale mais Moi étant daltonien les couleurs jaunes et vert se ressemblant. Déjà de base je ne fais pas du tout la différence. Sinon ta vidéo est génial❤😂

@ElJj

7 ай бұрын

Oui, je me suis rendu compte trop tard que les couleurs étaient trop proches, même pour un non daltonien :(

Une petite question qui est sans doute bête mais je la pose quand même : Si les mathématiciens avaient démontré le théorème pour 4 couleurs en premier aurait-il été nécessaire de le démontrer pour 5 et 6 couleurs ?

@CdFMasterVideo

7 жыл бұрын

Non bien sûr, puisque pour toute carte on a un coloriage possible avec 4 couleurs, donc il suffit de prendre une région au pif et de la colorier d'une 5e couleur. Mais ça aurait peu d'intérêt du coup ^^

@ElJj

7 жыл бұрын

Il est peu probable que le théorème des 4 couleurs eut été démontré en premier. Les arguments qui permettent de prouver le théorème des 6 couleurs sont beaucoup plus évidents que ceux des 5 couleurs, eux-mêmes plus simples que ceux des 4 couleurs !

@CdFMasterVideo

7 жыл бұрын

À mon humble avis la question partait de l'hypothèse où il aurait été montré en premier, même si cela est improbable (et même impossible puisque ça ne s'est pas passé comme ça, point) Il y en a qui font des théories sans fin en partant du principe qu'il existe i tel que i^2=-1 alors hein ;)

6-colorable ou 6-coloriable?

Merci KZread

C'est utile si en cours d'histoire géo un élève n'a que 4 crayons de couleur sous la main. Ou son stylo 4 couleurs pour hachurer sa carte.

Trop triste je suis daltonien et les couleurs jaune et vert sont identique pour moi..

Mais ça ne répond toujours pas à ma question : Pourquoi ces 4 couleurs en particulier ? Sur les télécommandes, sur les cartes, toujours les mêmes, je n'aurais probablement jamais de réponse à cette question.

@sajeucettefoistunevaspasme

3 жыл бұрын

Rouge et bleu et jaune sont des couleurs primaires Rouge bleu et vert sont des couleurs en lesquels on peut diviser la lumière Mélanger jaune et bleu avec de la peinture donne du vert Mélanger vert et bleu avec de la lumière donne du jaune en gros

Je distingue absolument pas ton jaune de ton vert en tant que daltonien, mais bon ça m'a pas trop gêné :p

0:11 Équateur Luxembourg Jordanie Japon = EL JJ

@Kirbo029

4 жыл бұрын

Clap clap clap

@Happydabab

4 жыл бұрын

Bien vu l'artiste

@zorm_

4 жыл бұрын

Laissez moi briller bande d'adoptés

@Happydabab

4 жыл бұрын

Mdr t'a 1 like et c'est toi même tu t'es auto like xptdr

@zorm_

4 жыл бұрын

@@Happydabab j'avoue xptdr

Maiis.. A quoi sert de savoir que les cartes peuvent être colorié de 4 couleur ? ;^; je demande parce je vois pas trop à quoi ça sert 😅

@strirare5321

4 жыл бұрын

je pense que c est pour sa qu il recherche son utilité

comment peut-on "Mecaniquement" prouver qu'un algorythme de calcul n'a pas fait d'erreur ? Bon, sinon super vidéo hein Mais Dur à suivre, comme souvent. Mais ca reste mon point de vue Parler moins vite et/ou cleaver les épisodes pourrai etre une idée ^^

@ElJj

7 жыл бұрын

Le mot "mécanique" est utilisé ici de façon abstraite, elle traduit simplement le fait que le programme de vérification "mécanique" (Coq) va analyser la démonstration ligne par ligne et vérifier si tout est valable, de la même façon qu'un compilateur va vérifier si un programme a des erreurs de syntaxe. Une démonstration mathématique n'est rien d'autre qu'une suite de tautologies (du genre "Si A implique B et que A alors B). Quand un mathématicien écrit une démonstration, il le fait de la façon la plus rigoureuse possible, mais il y a toujours quelques trous (des choses implicites mais évidentes par exemple). C'est dans ces trous que ce cachent les erreurs, et même les plus grands mathématiciens peuvent faire ces erreurs de raisonnement. Une vérification "mécanique" ne fera pas ces erreurs là, puisqu'elle ne comprend pas ce qui est implicite, elle se contente de vérifier si chacune des lignes de la démonstration est valable d'un point de vue logique. Pour la difficulté à suivre, j'en suis conscient, mais il faut garder en tête que les maths ont ceci de particulier qu'elle demandent toujours un peu de temps pour être digérées (mais l'avantage d'une vidéo, c'est qu'on peut mettre pause, revenir en arrière ou regarder plusieurs fois !)

@Pacotille_6529

7 жыл бұрын

Salut, je suis un utilisateur de Coq, et le plus cool c'est que l'on peut demander à l'ordinateur de généré des théorèmes mathématique au hasard puis de déterminer s'ils sont vrais ou faux! Du coup plus besoin de chercheurs ^^ (mais bon c'est drôlement inefficace en ratio temps investi\théorèmes prouvés XD)

Clairement moi j'ai juste vu des blocks de tetris colorés ._.

il me semble que tes hypothèses de récurrence sont mal formulées, tu supposes la propriété vraie pour tout n. or c'est ce que tu cherches à démontrer, il vaut mieux supposer la propriété vraie pour un n fixé quelconque et ensuite montrer la récurrence pour que le raisonnement soit incontestable. mon prof est intransigeant la dessus et il n'a pas tort. j'imagine que je ne t'apprend rien mais est-ce volontaire de t part pour vulgariser ? il me semble que c'est un détail qui a de l'importance tout de même.. en tout cas tes vidéos sont vraiment cool et super bien faites 😉

@thomasgourmelon9486

7 жыл бұрын

Alex ST il a écrit ce qu'il cherche à prouver au lieu d'écrire les hypothèses, comme pour l'initialisation, il a écrit le résultat directement. Évidemment que ton prof est intransigeant là dessus mais tous ceux qui regardent les vidéos d'El Jj savent faire une récurrence, c'est niveau Term, il va pas perdre son temps à bien détailler le machin

@alexst2411

7 жыл бұрын

+Thomas Gourmelon oui mais en y réfléchissant je crois qu'il n'y a pas d'erreur dans ce qu'il fait puisque l'initialisation consistant à démontrer que toutes cartes à 5 région au plus peut se colorier avec -de5 couleurs, l'hypothèse est bien de supposer que toutes cartes avec n région est 5 coloriable. donc je retire ce que j'ai dit plus haut, et je pense qu'il ne laisserai pas de telles erreurs vu la rigueur des vidéos.

@alexst2411

7 жыл бұрын

par contre il ne ferait pas d'erreurs sous prétexte qu'ils s'adresse à des gens sachant faire une récurrence, mais vu la vitesse de la vidéo je ne pense pas que beaucoup est prêté attention à cette subtilité. (qui doit être plus une trivialité pour certains)

@ElJj

7 жыл бұрын

Je ne crois pas dire que je suppose la propriété vraie pour tout N, mais plutôt pour un N donné (après vérification, il semble effectivement que je n'ai pas été rigoureux à l'oral sur ce point, mais je l'ai précisé à l'écrit). Ce qui induit en erreur, c'est que la propriété étant donné un rang N est "toute carte à N région est k-coloriable", la propriété à démontrer est alors "pour tout N, toute carte à N région est k-coloriable".

@alexst2411

7 жыл бұрын

+El Jj oui c'est ce que j'ai compris après coup

J'ai décrocher à 3:35 qui dis mieux?

Mais laissez moi avec mes feutres, mince !

Nous pouvons colorier des cartes à seulement 3 couleurs avec un base spécifique ? Non ?

@ElJj

7 жыл бұрын

Il a été conjecturé que si une carte ne contient aucun cycle de 4 ou 5 régions, alors 3 couleurs suffisent. Un contre-exemple a cependant été découvert très récemment (en avril 2016). Cf www.pourlascience.fr/ewb_pages/a/actu-peut-on-colorier-une-carte-avec-trois-couleurs-la-conjecture-de-steinberg-invalidee-37006.php

@Pareil64

7 жыл бұрын

Merci je cours regarder cet article merci :) !