home.social

#mathematiques — Public Fediverse posts

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

  1. 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

  2. "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

  3. 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

  4. "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

  5. 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

  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. 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

  11. 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

  12. 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

  13. 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

  14. 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

  15. #PintOfScience C'est la semaine prochaine à #Lannion j'y serai Mercredi 20 Mai pour parler #mathématiques et répondre à la question " Les calculs sur ordinateur ont-ils remplacés les mathématiciens?"...

    pintofscience.fr/events/lannio

  16. 📣 L'appel à #projets hiver 24-25 de la Fondation Blaise Pascal est ouvert !
    Vous portez un projet innovant en médiation scientifique en #mathématiques et/ou en #informatique ? 💡
    🗓️ Proposez-le jusqu'au 6/11 !
    👉 Plus d'infos : fondation-blaise-pascal.org/so
    #médiationscientifique #orientation #egalitedeschances

  17. #Inégalités | L’écart en maths entre filles et garçons se joue avant 6 ans, et voici comment

    Une étude de l’#Ined vient d’établir avec précision le moment où apparaît l’écart de niveau en #mathématiques, entre la moyenne section de maternelle et le CP. En cause, rien d’inné. L’environnement scolaire favorise ces #inégalités.

    mediapart.fr/journal/france/14