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

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

  13. "La complexification des mathématiques pures [...] conduit à ce que, tôt ou tard [...], les articles deviennent trop complexes pour être vérifiés en détail, amorçant ainsi un processus d’accumulation d’erreurs passées inaperçues. Et comme les mathématiques sont une science très profonde – en ce sens que les résultats d’un article dépendent habituellement de nombreux travaux antérieurs [...]" – Vladimir Voevodsky (1966-2017)
    #citation #mathématiques #erreurs #maths #math