#mathematiques — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #mathematiques, aggregated by home.social.
-
"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 -
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.
https://fr.wikipedia.org/wiki/Haskell_Curry
#mathématiques #maths -
"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 -
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.
https://fr.wikipedia.org/wiki/Haskell_Curry
#mathématiques #maths #math -
https://www.europesays.com/fr/1179271/ « J’avais tort » : comment Sébastien Bubeck, un mathématicien français sceptique sur l’IA, est devenu l’un des cerveaux d’OpenAI #FR #France #IntelligenceArtificielle #mathematiques #openai #Science #ScienceAndTechnology #Sciences #SciencesEtTechnologies #Technologies #Technology
-
"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 -
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é.
https://fr.wikipedia.org/wiki/Charles_Sanders_Peirce
#mathématiques #maths #math -
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é.
https://fr.wikipedia.org/wiki/Charles_Sanders_Peirce
#mathématiques #maths #math -
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é.
https://fr.wikipedia.org/wiki/Charles_Sanders_Peirce
#mathématiques #maths #math -
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é.
https://fr.wikipedia.org/wiki/Charles_Sanders_Peirce
#mathématiques #maths #math -
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é.
https://fr.wikipedia.org/wiki/Charles_Sanders_Peirce
#mathématiques #maths #math -
Slate.fr: #Bac2026: le niveau ne s'est pas #affaissé, il s'est #effondré
L' #épreuve de #mathématiques proposée aux #élèves de #première était si facile que j'ai cru à une blague du #ministère de l' #Éducation #nationale
Il va falloir noter l' #orthographe et la #grammaire pour départager tous ces 20/20 ... 😅
