Nicolas Bouba-kiki.

#Bourbaki

Heute vor 155 Jahren - Die abgekämpften und frierenden Reste einer geschlagenen Armee finden Aufnahme und Pflege in der Eidgenossenschaft. #bourbaki

#notation #math #computerscicence #LambdaCalculus #bourbaki

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

Ah, the *super-secret* cabal of number wizards, Bourbaki! 🤔 Instead of arcane rituals, they spend their days lost in the Google Books labyrinth, probably searching for the mystical "Book of Relevance." 📚🔍 Clearly, covert mathematicians can't escape the allure of aimless internet browsing. 😂
https://books.google.com/books/about/Bourbaki.html #Bourbaki #InternetBrowsing #NumberWizards #MathematicalHumor #GoogleBooks #HackerNews #ngated
Google Books

Google Books

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

Exactly 90 years ago, on December 10th 1934, Weil, Delsarte, Cartan, Dieudonne, de Possel and Chevalley got together in 'A Capoulade' for the first (proto) #Bourbaki meeting.

I've been on a longer hiatus from livestreaming than I originally intended, but you can see me give a seminar talk this evening at the The New York City Category Theory Seminar:

https://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html

I'll be talking about the invariant theory part of my thesis (https://arxiv.org/abs/2402.18063) at 7PM, New York time. I'll discuss how I found that every (positive) property of finite structures can be checked by counting small* substructures.

*Terms and conditions may apply. Small is constrained by the logical complexity of a property and may not conform to mundane notions of smallness in bad cases.

#CategoryTheory #combinatorics #logic #Bourbaki #algebra #AbstractAlgebra

Category Theory Seminar

#LB Everyone at this country is talking about the death of #SílvioSantos. But today also died one of the #Bourbaki.

https://mathstodon.xyz/@monsoon0/112979540302823738

Nalini Joshi (@[email protected])

Pierre Cartier, French mathematician and past member of Bourbaki, passed away yesterday at the age of 92… https://en.m.wikipedia.org/wiki/Pierre_Cartier_(mathematician)

Mathstodon