@paysmaths.bsky.social"Mathematics and poetry have several things in common, including the particular importance given to form, which of course does not prevent the imagination from running wild. A mathematical term has a precise meaning and can reveal [...]" – Cédric Villani (1973-)
#quote #mathematics #maths #math
@paysmaths.bsky.social"La mathématique et la poésie ont plusieurs points communs, dont l’importance toute particulière accordée à la forme, qui bien sûr n’empêche pas l’imagination de se déchaîner. Un mot mathématique vient avec un sens précis [...]" – Cédric Villani (1973–)
#citation #mathématiques #maths #math
@westernusocsci.bsky.socialPsychology professor Daniel Ansari provided expert insight to CBC News in a national story exploring how children learn math and the importance of developing strong math skills early. Read more: www.cbc.ca/news/canada/...
My app kimcura.com's web interface. Left is TikTok-style infinite feed of problems (guaranteed to be *right* at the cusp of your abilities), right is a scratchpad to write down your work.
I wish I had something like this when I was in school.
#math #mathlearning #sideproject
@imathtutor.bsky.socialThe 2026 MacArthur Fellows have been announce. It struck me that there were no mathematicians or statisticians among them. I wondered how often that happened, so I turned to Gemini. 🧵1/2
#mathematics #math #statistics #stat #fellowship
Source: buff.ly/fsmAQVG
@jalonso.eurosky.socialEnunciado del reto 22 de Lean 4: Si una sucesión tiene dos subsucesiones con límites distintos, entonces la sucesión no es convergente. jaalonso.github.io/calculemus/p... #RetoLean4
@jalonso.eurosky.socialEnunciado del reto 22 de Lean 4: Si una sucesión tiene dos subsucesiones con límites distintos, entonces la sucesión no es convergente.
@jalonso.eurosky.socialSoluciones del reto 21 de Lean 4: Las subsucesiones tienen el mismo límite que la sucesión. jaalonso.github.io/calculemus/p...
@jalonso.eurosky.socialWeekly reads: Sep 28 – Oct 4, 2026. jaalonso.github.io/vestigium/po... #AI4Math #Agda #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #RocqProver
@mindbourne.bsky.socialYes you can order now for 2027! - Grd 4 and Grd 12 Maths Lit will be ready end of 2026. MINDBOURNE - ALWAYS THERE FOR YOU!
www.mindbourne.com
See linktr.ee/mindbourne_ed in our bio for further info.
#mindbourne #2026 #wiskunde #math #wisk #mathematics #fyp #geometry
@jeandeslunes.bsky.social
@mtl-science.bsky.social
@datenarche.bsky.social
