home.social

#mathematiques — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #mathematiques, aggregated by home.social.

  1. "Il est intéressant de noter que, bien que les termes "ou", "et" et "implique" aient un usage formel identique, nous considérons "ou" et "et" comme des conjonctions et "implique" comme un verbe." – William Thurston (1946–2012)
    #citation #mathématiques #maths #math

  2. 12 septembre 1900 : #CeJourLà naissance de Haskell Curry (†1/9/1982), logicien et mathématicien américain, qui développe la logique combinatoire, système formel équivalent au lambda-calcul, base théorique de la programmation fonctionnelle.
    fr.wikipedia.org/wiki/Haskell_
    #mathématiques #maths

  3. "Rien n'est aussi onirique et poétique, aussi radical, subversif et psychédélique, que les mathématiques." – Paul Lockhart
    #citation #mathématiques #maths #math

  4. 12 septembre 1900 : #CeJourLà naissance de Haskell Curry (†1/9/1982), logicien et mathématicien américain, qui développe la logique combinatoire, système formel équivalent au lambda-calcul, base théorique de la programmation fonctionnelle.
    fr.wikipedia.org/wiki/Haskell_
    #mathématiques #maths #math

  5. "Donne-moi un lieu où je puisse me tenir ferme, et je mettrai la Terre en mouvement." – Archimède (v. 287 AEC–v. 212 AEC)
    #citation #physique #mathématiques #maths #math

  6. 10 septembre 1839 : #CeJourLà naissance de Charles Sanders Peirce (†9/4/1914), philosophe, logicien et mathématicien américain, qui a contribué au développement de la logique mathématique. Il est le premier à utiliser des tables de vérité.
    fr.wikipedia.org/wiki/Charles_
    #mathématiques #maths #math

  7. 10 septembre 1839 : #CeJourLà naissance de Charles Sanders Peirce (†9/4/1914), philosophe, logicien et mathématicien américain, qui a contribué au développement de la logique mathématique. Il est le premier à utiliser des tables de vérité.
    fr.wikipedia.org/wiki/Charles_
    #mathématiques #maths #math

  8. 10 septembre 1839 : #CeJourLà naissance de Charles Sanders Peirce (†9/4/1914), philosophe, logicien et mathématicien américain, qui a contribué au développement de la logique mathématique. Il est le premier à utiliser des tables de vérité.
    fr.wikipedia.org/wiki/Charles_
    #mathématiques #maths #math

  9. 10 septembre 1839 : #CeJourLà naissance de Charles Sanders Peirce (†9/4/1914), philosophe, logicien et mathématicien américain, qui a contribué au développement de la logique mathématique. Il est le premier à utiliser des tables de vérité.
    fr.wikipedia.org/wiki/Charles_
    #mathématiques #maths #math

  10. 10 septembre 1839 : #CeJourLà naissance de Charles Sanders Peirce (†9/4/1914), philosophe, logicien et mathématicien américain, qui a contribué au développement de la logique mathématique. Il est le premier à utiliser des tables de vérité.
    fr.wikipedia.org/wiki/Charles_
    #mathématiques #maths #math

  11. 8 septembre 1588 : #CeJourLà naissance de Marin Mersenne (†1/9/1648), religieux, érudit et mathématicien français. Les "nombres de Mersenne" premiers (de la forme 2^p-1) sont importants dans la recherche des grands nombres premiers.
    fr.wikipedia.org/wiki/Marin_Me
    #mathématiques #maths #math

  12. 7 septembre 1915 : #CeJourLà naissance de Kiyoshi Itō (†10/11/2008), mathématicien japonais dont les travaux portent essentiellement sur le calcul des probabilités.
    fr.wikipedia.org/wiki/Kiyoshi_
    #mathématiques #maths #math

  13. 7 septembre 1707 : #CeJourLà naissance de Georges-Louis Leclerc, comte de Buffon (†16/04/1788), naturaliste et mathématicien français. L'aiguille de Buffon, expérience probabiliste qu'il propose en 1733, donne une approximation du nombre π.
    fr.wikipedia.org/wiki/Georges-
    #mathématiques #maths #math

  14. 5 septembre 1667 : #CeJourLà naissance de Giovanni Girolamo Saccheri (†25/10/1733), mathématicien italien qui, en tentant de prouver par l'absurde l'axiome des parallèles d’Euclide, a été très proche de découvrir les géométries non-euclidiennes.
    fr.wikipedia.org/wiki/Giovanni
    #mathématiques #maths #math

  15. 3 septembre 1884 : #CeJourLà naissance de Solomon Lefschetz (†5/10/1972), mathématicien américain d'origine russe. On lui doit des travaux en topologie algébrique. Il démontre en 1926 un théorème du point fixe (qui porte maintenant son nom).
    fr.wikipedia.org/wiki/Solomon_
    #mathématiques #maths #math

  16. "La science mathématique [a pour but] la mesure indirecte des grandeurs, [...] on s'y propose constamment de déterminer les grandeurs les unes par les autres, d'après les relations précises qui existent entre elles." – Auguste Comte (1798-1857)
    #citation #mathématiques #mesure #maths #math

  17. Le texte d'une page manquante de l'unique exemplaire connu du traité mathématique "De la sphère et du cylindre" d'Archimède de Syracuse (IIIe s. av. J.-C.) vient d'être retrouvé dans les collections du Musée des Beaux-arts de Blois. Cet ouvrage nous est parvenu dans un exemplaire médiéval copié au Xe siècle avant d'être recouvert par un autre texte, formant un palimpseste. Trois feuillets en ont été vendus par son propriéraire pendant la Seconde guerre mondiale. C'est l'un d'eux qui a été identifié à Blois.
    L'article est en partie réservé aux abonné-e-s. On notera une énième occurrence du mythe moderne "un type fait une découverte majeure avec juste une recherche sur [pub pour un moteur de recherche déjà riche]" mais pas un mot sur le détail de la formation du chercheur en question ni sur ses compétences durement acquises, sans lesquelles il n'aurait jamais su comprendre les photos qu'il a trouvées. Soupir.
    liberation.fr/sciences/histoir
    #philologie #mathématiques #histoire #manuscrit #GrèceAntique #Archimede #palimpseste #CNRS #Blois #MuseeDesBeauxArtsDeBlois

  18. "Un mathématicien est une personne qui peut trouver des analogies entre des théorèmes ; un meilleur mathématicien est quelqu'un qui peut voir des analogies entre des preuves, et le meilleur mathématicien peut remarquer des analogies entre des théories ; et on peut imaginer que le mathématicien ultime est quelqu'un qui peut voir des analogies entre des analogies." – Stefan Banach (1892-1945)
    #citation #mathématiques #maths #math #mathématicien #analogie

  19. Un tournant #historique pour la #science : Une #IA choque les plus grands #mathématiciens lors d’une réunion secrète

    Cette confrontation marque un tournant décisif dans l’ #histoire des #mathématiques. Pour la première fois, une #intelligence #artificielle rivale avec les #capacités des meilleurs #esprits #humains dans l’une des disciplines les plus abstraites qui soient.

    sciencepost.fr/une-ia-choque-l

  20. Un tournant #historique pour la #science : Une #IA choque les plus grands #mathématiciens lors d’une réunion secrète

    Cette confrontation marque un tournant décisif dans l’ #histoire des #mathématiques. Pour la première fois, une #intelligence #artificielle rivale avec les #capacités des meilleurs #esprits #humains dans l’une des disciplines les plus abstraites qui soient.

    sciencepost.fr/une-ia-choque-l

  21. "La signification de la relativité a été largement mal comprise. Les philosophes jouent avec le mot, comme un enfant avec une poupée. La relativité, telle que je la vois, signifie simplement que certains faits physiques et mécaniques, qui ont été considérés comme positifs et permanents, sont relatifs par rapport à certains autres faits dans le domaine de la physique et de la mécanique [...]" – Albert Einstein (1879–1955)
    #citation #mathématiques #maths #math #relativité

  22. "La science mathématique [a pour but] la mesure indirecte des grandeurs, [...] on s'y propose constamment de déterminer les grandeurs les unes par les autres, d'après les relations précises qui existent entre elles." – Auguste Comte (1798-1857)
    #citation #mathématiques #mesure #maths #math

  23. "Un mathématicien est une personne qui peut trouver des analogies entre des théorèmes ; un meilleur mathématicien est quelqu'un qui peut voir des analogies entre des preuves [...]" – Stefan Banach (1892-1945)
    #citation #mathématiques #maths #math #mathématicien #analogie

  24. "La signification de la relativité a été largement mal comprise. [...] Cela ne veut pas dire que tout dans la vie est relatif et que nous avons le droit de retourner malicieusement sens dessus dessous le monde entier." – Albert Einstein (1879–1955)
    #citation #mathématiques #maths #math #relativité

  25. Un très bon article parlant de pi et de métriques. J'aime beaucoup la manière dont les valeurs de pi sont exprimées en fonction de la métrique, justement. azeemba.com/posts/pi-in-other- #mathématiques #géométrie #mesure