#bourbaki — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #bourbaki, aggregated by home.social.
-
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
-
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
-
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
-
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
-
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
-
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 -
-
-
-
-
-
Heute vor 155 Jahren - Die abgekämpften und frierenden Reste einer geschlagenen Armee finden Aufnahme und Pflege in der Eidgenossenschaft. #bourbaki
-
Heute vor 155 Jahren - Die abgekämpften und frierenden Reste einer geschlagenen Armee finden Aufnahme und Pflege in der Eidgenossenschaft. #bourbaki
-
Heute vor 155 Jahren - Die abgekämpften und frierenden Reste einer geschlagenen Armee finden Aufnahme und Pflege in der Eidgenossenschaft. #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
-
#notation #math #computerscicence #LambdaCalculus #bourbaki
Source: Computation, Proof, Machine: Mathematics Enters a New Age' by Gilles Dowek
-
#notation #math #computerscicence #LambdaCalculus #bourbaki
Source: Computation, Proof, Machine: Mathematics Enters a New Age' by Gilles Dowek
-
#notation #math #computerscicence #LambdaCalculus #bourbaki
Source: Computation, Proof, Machine: Mathematics Enters a New Age' by Gilles Dowek
-
#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 -
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 -
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 -
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
-
Bourbaki – A Secret Society of Mathematicians
https://books.google.com/books/about/Bourbaki.html
#HackerNews #Bourbaki #Secret #Society #Mathematicians #Mathematics #History
-
Bourbaki – A Secret Society of Mathematicians
https://books.google.com/books/about/Bourbaki.html
#HackerNews #Bourbaki #Secret #Society #Mathematicians #Mathematics #History
-
Bourbaki – A Secret Society of Mathematicians
https://books.google.com/books/about/Bourbaki.html
#HackerNews #Bourbaki #Secret #Society #Mathematicians #Mathematics #History
-
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: 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: 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: 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: 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.
-
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.
-
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.
-
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.
-
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
-
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
-
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
-
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
-
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.
-
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 -
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 -
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 -
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 -
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
-
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
-
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
-
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
-
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! :)
-
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! :)