Le blog-notes mathématique du coyote

 

Extra

Editorial

Ce blog a pour sujet les mathématiques et leur enseignement au Lycée. Son but est triple.
Premièrement, ce blog est pour moi une manière idéale de classer les informations que je glâne au cours de mes voyages en Cybérie.
Deuxièmement, ces billets me semblent bien adaptés à la génération zapping de nos élèves. Ces textes courts et ces vidéos, privilégiant le côté ludique des maths, pourront, je l'espère, les intéresser et leur donner l'envie d'en savoir plus.
Enfin, c'est un bon moyen de communiquer avec des collègues de toute la francophonie.

mardi 27 novembre 2012

Du théorème du nid d’abeille à la conjecture de Kelvin

Par Didier Müller, mardi 27 novembre 2012 à 10:15 - Théorèmes et démonstrations

En mathématiques, il existe quelques problèmes très simples à énoncer mais incroyablement difficiles à résoudre. En géométrie aussi, il existe des conjectures qu’un collégien peut comprendre mais sur lesquelles les meilleurs mathématiciens du monde se cassent les dents. Et comme la géométrie est partout autour de nous, cela va nous permettre de faire un tour dans le monde des abeilles et celui des bulles de savon.

Lire l'article sur Science étonnante

lu 6933 fois

vendredi 23 novembre 2012

Coq et caractères

Par Didier Müller, vendredi 23 novembre 2012 à 23:25 - Théorèmes et démonstrations

Une équipe du laboratoire commun Inria - Microsoft Research dirigée par Georges Gonthier a annoncé fin septembre la vérification par un ordinateur, plus précisément par l’assistant de preuve Coq, du théorème de Feit et Thompson, un résultat difficile d’algèbre prouvé en 1963 par deux cent cinquante pages ardues. La nouvelle semble susciter plutôt de la perplexité chez certains mathématiciens : qu’apporte une preuve par ordinateur à un résultat dont personne ne doute ? D’autres collègues, plus enthousiastes, saluent le tour de force de faire vérifier à un ordinateur un des fleurons de la pensée humaine.

Lire l'article sur Images des maths

lu 16094 fois