explore | Grilled Cheese

A List of 100 famous Mathematical Theorems formalized with Lean, Rocq or other theorem provers: Pythagorean Theorem, Gödel's Incompleteness Theorem, Irrationality of the Square Root of 2... #Maths www.cs.ru.nl/~freek/100/

"A philosopher who has no connection to geometry is only half a philosopher, and a mathematician who has no philosophical vein is only half a mathematician." – Gottlob Frege (1848-1925)
#quote #mathematics #maths #math

"Un philosophe qui n'a aucun lien avec la géométrie n'est qu'à moitié philosophe, et un mathématicien qui n'a pas de fibre philosophique n'est qu'à moitié mathématicien." – Gottlob Frege (1848-1925)
#citation #mathématiques #philosophie #maths #math

... of course, and what you intend to do with it)!

[And whether you're requesting one or not, a share would be most appreciated in order to help them find their new homes!]

#MathsToday #Maths #History #Books #MFL

Who remembers school exercise books that had multiplication tables printed on the back?

We've recreated that with some useful notes for kids of all ages.

franticdonkey.com/FranticDonke...

#education #maths #multiplicationtable #school #reference #WorkplaceProductivity #mathematics

Theorem of the Day (September 27, 2026) : A Theorem on Maximal Sum-Free Sets in Groups
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/jocs29F
notes : buff.ly/GRe3eiR

#mathematics #maths #math #theorem

L’IA a-t-elle dépassé les mathématiciens ? | Hugo Duminil-Copin
Source : Youtube / Planétarium et Le Figaro

buff.ly/saa4i3g
#mathématiques #maths #math #Youtube

I’m rolling out a much cleaner dashboard for Maths Copilot, designed specifically for tablet, laptop and desktop users.

It makes better use of the available space while now providing a consistent, responsive experience across all devices.

htpps://mathscopilot.com

#maths #iteachmaths

Problem for September 27th from the 2026 AMS Daily Epsilon of Math Calendar
@DailyEpsilon
#math #maths #mathematics #mathstodon

27 septembre 1879 : #CeJourLà naissance de Hans Hahn (†24/7/1934), mathématicien autrichien, dont les travaux portent sur l'analyse fonctionnelle (théorème de Hahn-Banach), le calcul des variations, la théorie des ensembles, la topologie.
buff.ly/QIfBjf6
#mathématiques #maths #math

Blaise Pascal invented the bus!

It's logical that a mathematician do this: the routing problem is basically how to make a line work in two dimensions. Then there are network effects, fare optimisation, decisions between directness & coverage...these can all be expressed mathematically.

#maths #bus