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

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

#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