Ok

En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies. Ces derniers assurent le bon fonctionnement de nos services. En savoir plus.

Culture Générale - Page 5

  • Avancée dans la preuve informatique

    1354470170_blue_monster_happy.png6 ans après la démonstration par ordinateur du théorème des quatre couleurs, Georges Gonthier et son équipe réussissent la démonstration, autrement plus complexe, du théorème de Feit et Thompson, un théorème central pour la théorie des groupes et leur classification. Grand pas pour les mathématiques, qui s’appuient de plus en plus sur la preuve par ordinateur, c’est surtout une réussite pour l’informatique qui montre là sa capacité à déployer des outils et des techniques de qualité pour codifier les mathématiques.

     

    Après la validation du théorème des quatre couleurs par le logiciel de certification Coq en 2005, c’est au tour du théorème de Feit et Thompson de passer dans la moulinette de la preuve informatique. La difficulté était cependant incomparable car, si le théorème des quatre couleurs n’utilise que des mathématiques combinatoires élémentaires, le théorème de Feit et Thompson s’appuie sur des mathématiques embrassant, grosso modo, le programme jusqu’à la licence ! Il est également plus long, avec ses 250 pages de démonstration, et les enjeux autrement importants, avec des applications dans de nombreux domaines scientifiques modernes, de la mécanique quantique à la cryptographie, en passant par la cristallographie.

    La suite de l'article ICI et les témoignages des membres de l'équipe ICI .

  • La preuve du théorème de Pythagore de Garfield: Jolie et simple par KhanAcademy

  • Des grands classiques des mathématiques écrits en Latex

    A ce jour, Spartacus IDH (d'un ancien élève) met en ligne l'édition de 5 grands classiques des mathématiques. La consultation en ligne est libre et l'édition papier apparaitra certainement dès Janvier.

    Une particularité à noter: les éditions sont réalisées avec Latex.

    Les cinq titres sont:

    Georg Cantor: Sur la théorie des ensembles transfinis.

    Henri Lebesgue: Leçons sur l'intégration.

    Henri poincaré: La science et l'hypothèse

    Henri Lebesgue: Leçons sur les séries trigonométriques

    Pierre-Simon de Laplace: Essai philosophique sur les probabilités


    Une fois sur le site se diriger vers Sciences>Livres.


    Capture.GIF

     

     

     

  • Un beau poème sur Henri Poincaré réalisé par deux élèves de Première S

    J'ai demandé à mes élèves de réaliser quelques productions numériques sur Henri Poincaré dont c'est le 100ème anniversaire du décès.

    Ces productions ne sont pas parfaites mais 2/3 de mes élèves ont répondu présents à l'appel sur ce blog.

    On le trouve aujourd'hui en Une du site "Images des Mathématiques".

    poésie,élèves,poincaré



    Je place ici le beau poème d'Hélène et de Loélie:

    C’est en 1854 qu’est né,

     A Nancy, Henri Poincaré.

     Philosophe et physicien,

     Ingénieur et mathématicien,

     Son BAC de Science il l’obtient

     Avec une mention assez bien.

     Grandement attiré par les lettres,

     Il n’en devint cependant pas illustre maître.

     A Polytechnique il est inscrit,

     A l’Ecole des Mines il est admis,

     A la Facultédes Sciences de Paris, il réussit.

     Loin d’être un mathématicien banal,

     Il n’en demeure pas moins défenseur du calcul infinitésimal.

     Fut-il un simple et lambda intellectuel,

     Il amena tout de même au système d’équation différentielle.

     Spécialiste en optique,

     Il émet aussi la théorie des systèmes dynamiques.

     Précurseur de la relativité restreinte,

     Sur la toile de son savoir, la théorie du chaos fut peinte.

     Du système des Trois Corps et de la topologie algébrique,

     Il en posa les briques,

     Et au risque de provoquer parmi ses collègues un schisme,

     Il montra la non-pertinence du logicisme ;

     Car pour le grand homme qu’il fut,

     La résolution, jamais par la déduction ne s’effectue,

     Mais plutôt, la continuité primant,

     Par l’induction, sans négliger la théorie pour autant.

     Poincaré émit une conjecture à son nom : un vrai mystère,

     Qui demeura dans les mathématiques l’un des sept problèmes du millénaire,

     Jusqu’à ce que Perelman trouvera la clé de l’énigme,

     Les mathématiques étant pour les Sciences le paradigme.

     De ses publications connues,

     Il remet en cause l’Ether, l’espace et le temps absolu,

     Leur universelle intouchabilité,

     Et de par leurs dimensions mathématiques et philosophiques contestées,

     Car Cicéron c’est Poincaré.

     Nombreuses furent ses récompenses,

     D’abord celle d’appartenir à l’Académie de France,

     Maître de conférences,

     Il était aussi membre de l’Académie des Sciences,

     Lauréat du concours général, il décrochera aussi,

     En 1900, la médaille d’or dela Royal Astronomical Society.

     Prix de Bolyai en 1905, médaille de Bruce en 1911, commandeur dela Légiond’Honneur,

     Ses importants travaux auront une grande ampleur,

     Tout comme ses ouvrages, d’ailleurs

     Qui bénéficieront d’une grande clameur,

     En 1902 c’est La Science et l’hypothèse qu’il publie,

     Où il met en évidence le lien entre les lettres et les mathématiques

     Avec le cubisme pour l’exemple géométrique

     Il démontre un ouvrage fort réfléchi.

     Egalement auteur en 1905 de La valeur de la Science,

     Ainsi que Science et méthode, en 1908, dont il témoigne une prestigieuse pertinence.

     L’existence de l’homme en 1912 prit fin,

     Mais ses nombreux apports ne seront jamais vains.