Ton Théorème Préféré

Lillois-e, si vous rêvez de me parler de votre théorème préférer, je serai chez vous demain.

Parisiens, je traînerai au Salon des Jeux Mathématiques, je serai ravi que vous veniez me présenter votre théorème préféré. Ou ailleurs, si on prend rdv.

http://www.milchior.fr/ttp/?name=2018-04-30_vote.mp3 … J'ai eu la chance d'avoir comme invité un vulgarisateur bien plus expérimenté que moi: @science__4__all. On quitte le monde purement théorique pour passer à des sujets concret comme le vote, faire un choix dans un groupe de gens.

Les 25 et/ou 26 mai, je compte me promener avec mon micro au Salon des jeux mathématiques (@jeuxmaths) de Paris, histoire de collectionné quelques théorèmes préférés. On s'y retrouve ?

«je parcours le monde à la recherche de l’équation idéale... » (extrait de la bio de @marie_kalamart). Je suis impressionné par ce but. Surtout quand des gens me déclarent qu'il leur est impossible de se choisir un théorème préféré.

Merci beaucoup à @TrajectoiresPod d'être mon 100000ème follower. Entre podcast de math occupés par des informaticiens, le binaire devient pratiquement une obligation.

http://www.milchior.fr/ttp/?name=2018-04-01_03_-_ttp_-_epiphanie_-_falso.mp3 … Aujourd'hui, sort l'épisode 3. Épiphanie nous parle de système de preuve, et d'un moyen introduit il y a quelques années pour simplifier considérablement la création de preuve.

A priori, un 3ème épisode en début d'après midi. Il me reste à enregistrer intro et outro, l'interview est faites. Ça parlera de système de preuve, on a un peu dévié pour parler des différentes logiques.

Vous avez un théorème préféré ? Une théorie, un modèle mathématique, un algorithme, une équation ? Amatrice/amateur de mathématiques, mes DM vous sont ouverts pour prévoir votre participation au podcast Ton Théorème Préféré: http://www.milchior.fr/ttp 

L'épisode 3 devrait arriver ce week-end, on espère, on quittera la théorie des graphes pour entrer dans le monde de la logique, des preuves et des axiomatisations.

http://milchior.fr/ttp/?name=2018-03-30_02_-_ttp_-_clement_charpentier_-_1_2_3_45.mp3 … Et enfin, le théorème 1 2 3 4 5, légèrement plus compliqué à énoncer que le théorème des 4 couleurs, mais considérablement plus simple à prouver. Avec des questionnement sur la notion de difficulté.

http://milchior.fr/ttp/?name=2018-03-30_01_-_ttp_-_4_couleurs_-_robin.mp3 … Le théorème des 4 couleurs, Théorème préféré de @12_0_13. Un grand classique des mathématiques. Qui a surtout posé des questions sur ce qu'est vraiment une preuve, quand un ordinateur est impliqué.

http://milchior.fr/ttp/?name=2018-03-30_00_-_ttp_-_presentation.mp3 … Voici une présentation du podcast, avec quelques précisions pour les amateurs qui auraient la gentillesse de vouloir me donner leur théorème préféré

http://milchior.fr/ttp/  Le podcast est officiellement lancé !

J'ai la joie de vous annoncer que deux épisodes ont été enregistré ce week-end. Encore faut-il s'attaquer au montage/mixage. J'espère avoir fini d'ici le week-end prochain.

Le théorème de classification des surfaces compactes connectées. Topologiquement, il n'y a qu'un nombre très limité de surface compactes et connexes qui existent, ce qui plaisait à l'invité, qui aiment bien mettre de l'ordre dans ce qu'elle étudie.

ABCD 4 points de l'espaces. Prenez EFGH les milieux des 4 segments. Le quadrilatère EFGH est un parallélogramme. Ça se montre avec 4 fois Thalès. Et l'invité expliquait comment il utilisait ça pour faire de la vulgarisation mathématiques avec des enfants et jeunes ados.

Pour vous donner des exemples de théorèmes donné dans la version originale: