home.social

#mathematiques — Public Fediverse posts

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

  1. 13 septembre 1885 : #CeJourLà naissance de Wilhelm Blaschke (†17/3/1962), mathématicien autrichien, dont les travaux portent essentiellement sur la géométrie différentielle.
    fr.wikipedia.org/wiki/Wilhelm_
    #mathématiques #maths #math

  2. 13 septembre 1873 : #CeJourLà naissance de Constantin Carathéodory (†2/2/1950), mathématicien grec. On lui doit notamment des résultats en analyse fonctionnelle, géométrie (théorème de Carathéodory), théorie de la mesure (théorème d'extension de Carathéodory).
    fr.wikipedia.org/wiki/Constant
    #mathématiques #maths #math

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

  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

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

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

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

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

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

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

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

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