#bourbaki — Public Fediverse posts

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

Neu im Comenius-Antiquariat 3.3.2026.
https://buchantiquariat.com/de/neue-artikel
#antiquariat #buchantiquariat #books #comenius_antiquariat #BiographienKunst #Kuenstlermonographien #Rubens #Malerei #BiographienKunst #AnkerAlbert #Kunstausstellung #Ausstellungskatalog #Helvetica #Schweiz #XIXJahrhundert #Militaria #Kriegswissenschaft #Militarismus #Bourbaki #Rundgemaelde #Antiquitaeten #Handwerk #Kunsthandwerk #Moebel

Neu im Comenius-Antiquariat 3.3.2026.
https://buchantiquariat.com/de/neue-artikel
#antiquariat #buchantiquariat #books #comenius_antiquariat #BiographienKunst #Kuenstlermonographien #Rubens #Malerei #BiographienKunst #AnkerAlbert #Kunstausstellung #Ausstellungskatalog #Helvetica #Schweiz #XIXJahrhundert #Militaria #Kriegswissenschaft #Militarismus #Bourbaki #Rundgemaelde #Antiquitaeten #Handwerk #Kunsthandwerk #Moebel

Neu im Comenius-Antiquariat 3.3.2026.
https://buchantiquariat.com/de/neue-artikel
#antiquariat #buchantiquariat #books #comenius_antiquariat #BiographienKunst #Kuenstlermonographien #Rubens #Malerei #BiographienKunst #AnkerAlbert #Kunstausstellung #Ausstellungskatalog #Helvetica #Schweiz #XIXJahrhundert #Militaria #Kriegswissenschaft #Militarismus #Bourbaki #Rundgemaelde #Antiquitaeten #Handwerk #Kunsthandwerk #Moebel

Neu im Comenius-Antiquariat 3.3.2026.
https://buchantiquariat.com/de/neue-artikel
#antiquariat #buchantiquariat #books #comenius_antiquariat #BiographienKunst #Kuenstlermonographien #Rubens #Malerei #BiographienKunst #AnkerAlbert #Kunstausstellung #Ausstellungskatalog #Helvetica #Schweiz #XIXJahrhundert #Militaria #Kriegswissenschaft #Militarismus #Bourbaki #Rundgemaelde #Antiquitaeten #Handwerk #Kunsthandwerk #Moebel

Neu im Comenius-Antiquariat 3.3.2026.
https://buchantiquariat.com/de/neue-artikel
#antiquariat #buchantiquariat #books #comenius_antiquariat #BiographienKunst #Kuenstlermonographien #Rubens #Malerei #BiographienKunst #AnkerAlbert #Kunstausstellung #Ausstellungskatalog #Helvetica #Schweiz #XIXJahrhundert #Militaria #Kriegswissenschaft #Militarismus #Bourbaki #Rundgemaelde #Antiquitaeten #Handwerk #Kunsthandwerk #Moebel

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

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

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

Nicolas #Bourbaki is de bekendste wiskundige die nooit heeft bestaan. In 1939 voerde Bourbaki het symbool ⌀ in voor de verzameling die #NIETS bevat. Mijn stuk voor @nrc_nl
https://www.nrc.nl/nieuws/2024/07/24/wiskunde-is-een-berg-lege-tassen-die-steeds-verder-uitdijt-a4860395#/krant/2024/07/27/%23514

I have a new(ish) preprint on the arXiv! You can find "Invariants of structures" at https://arxiv.org/abs/2402.18063. This is a somewhat embellished version of one half of my PhD thesis. A talk which I gave about this subject in the fall of 2022 is available at https://www.youtube.com/watch?v=5TeGZZ_mepc.

In this new version, I have finally added an explicit description of something I've been telling people for years: My main result shows that any first-order property of finite structures can be computed by counting small substructures. Perhaps surprisingly, this comes as a result of synthesizing a categorical treatment of Bourbaki's notion of mathematical structure with Hilbert's classical result on symmetric polynomials.

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

On a related note, I'm heading back home a bit early this year. Apologies to anyone who wanted to stick around late on Saturday to see my talk on the #Bourbaki group. Perhaps I'll make a video at some point, but at the moment I am a little overextended and need to regroup. I hope everyone enjoys the rest of the conference! :)

This year's Joint Mathematics Meetings in San Francisco is going to be pretty chill for me. This is my fourth #JMM and my third in person. Last year I organized a session on #AppliedCategoryTheory, but this time around I'm just giving a couple talks on #MachineLearning and the history of the #Bourbaki group.

#JMM2024

Bourbaki dangerous bend symbol
#math #Bourbaki https://en.wikipedia.org/wiki/Bourbaki_dangerous_bend_symbol

Just posted this talk (https://youtu.be/5TeGZZ_mepc) I gave on the categorified invariant theory part of my PhD thesis last fall! You can also find my thesis itself online now at https://aten.cool/documents/thesis.pdf if you'd like to see more.

Part of the reason I waited so long to post this is because I kind of flubbed the last example after the main part of the talk due to having not looked at this stuff for a while before giving the lecture. I thought I'd cut that last part out once I had more time, but enough time has passed and it no longer bothers me.

I actually wrote most of this part of my thesis in 2020, so I waited a long time to advertise this work.

#math #thesis #algebra #AbstractAlgebra #CategoryTheory #Bourbaki #combinatorics

The name for the algebraic structure consisting of a set \(A\) equipped with a binary operation \(f\colon A^2\to A\) which is not assumed to be commutative, associative, etc. has an interesting history. As far as I can tell, this sort of algebra was originally known as a "groupoid", and you can find recent literature using the term in that way. However, Nicolas Bourbaki called a set with a single binary operation a "magma" in his Éléments de mathématique and this name came to be used when there might be confusion with the newer topological use of "groupoid" to mean a category whose morphisms are all invertible. A third contender is "binar". I don't know the history of this one but it seems reasonable to me.

I prefer "magma" myself. I don't know what a "lava" or a "volcano" should be nor have I had the audacity to try to name something like this in the literature. One reason I prefer "magma" is that I can talk about a set \(A\) equipped with a single \(n\)-ary operation \(f\colon A^n\to A\) as an "\(n\)-ary magma" (or just "\(n\)-magma" or even "magma").

#algebra #UniversalAlgebra #topology #bourbaki #terminology

I just uploaded some notes (in French) for my last Friday “Séminaire Bourbaki du vendredi” talk on the Weil conjectures (history, approaches, generalizations): I recounted the history of the conjectures by Weil on the number of solutions of polynomial equations in finite fields, and some of the approaches that have been proposed to solve them.

https://webusers.imj-prg.fr/~antoine.chambert-loir/publications/exposes/weil-20221118.pdf

#WeilConjectures #NumberTheory #Bourbaki

Je viens de mettre en ligne une rédaction de mon exposé du “Séminaire Bourbaki du vendredi” (vendredi dernier) sur les conjectures de Weil (histoire, approches, généralisations).

https://webusers.imj-prg.fr/~antoine.chambert-loir/publications/exposes/weil-20221118.pdf

#ConjecturesDeWeil #ThéorieDesNombres #Bourbaki