Bon le #vendredilecture qui se termine le #samedilecture parle de #Grothendieck
C’est une biographie rapide, un peu brouillonne, un peu désordonnée mais qui donne à lire une introduction à la vie d’un des plus grands mathématiciens d’après guerre qui a réussi, en compagnie de ses complices du groupe #bourbaki , le tour de force de faire détester la #mathématique à un nombre impressionnant d’élèves (mais ca ne parle pas de cette magnifique réussite de sélection des esprits les plus étroits et privilégiés que notre pays doit aux #mathmodernes)

Ca s’appelle Algèbre de Yan Pradeau paru aux éditions Allia

On the theorem of Gelfand–Mazur. New blog post on Freedom Math Dance

I discuss several elementary proofs of this theorem that I learned by browsing at the online Bourbaki archives. They are due to Tornheim and Witt.

https://freedommathdance.blogspot.com/2026/04/on-theorem-of-gelfand-mazur.html

#math #bourbaki #FreedomMathDance

Nicolas Bouba-kiki.

#Bourbaki

#notation #math #computerscicence #LambdaCalculus #bourbaki

Source: Computation, Proof, Machine: Mathematics Enters a New Age' by Gilles Dowek

Bourbaki – A Secret Society of Mathematicians

https://books.google.com/books/about/Bourbaki.html

#HackerNews #Bourbaki #Secret #Society #Mathematicians #Mathematics #History

Mathematics: the key is to go beyond the specific formula and look for the underlying structure. Good proofs allow us to by-pass the complex formulas from the special case.

Working hard to end up with elegant laziness.

That's my humble take on how to do maths, as a jobbing quantitative social scientist.

#mathematics #abstraction #Bourbaki #Grothendieck