Oct 2, 2026 18:51 This blog article made more progress on answering your question than anyone else has in the history of the world. ...

Mar 1, 2008 John Baez begs for help on the computation section of his ‘Rosetta Stone’ paper connecting physics, topology, logic and computation.

Oct 24, 2009 A Call for Comments on a Call for Papers on an issue on Mathematical Foundations of Quantum Field and Perturbative String Theory.

Nov 8, 2024 Our ETCS-based but category-free course now reaches the theory of ordinals, a.k.a. well ordered sets. This Week’s Finds in Mathematical Physics (Week 281) Oct 20, 2009 In “week281” of This ...

The discussion on Tom’s recent post about ETCS, and the subsequent followup blog post of Francois, have convinced me that it’s time to write a new introductory blog post about type theory. So if ...

I don’t really think mathematics is boring. I hope you don’t either. But I can’t count the number of times I’ve launched into reading a math paper, dewy-eyed and eager to learn, only to have my ...

The following is the greatest math talk I’ve ever watched! Etienne Ghys (with pictures and videos by Jos Leys), Knots and Dynamics, ICM Madrid 2006. [See below the fold for some links.] I wasn’t ...

Freeman Dyson is a famous physicist who has also dabbled in number theory quite productively. If some random dude said the Riemann Hypothesis was connected to quasicrystals, I’d probably dismiss him ...

These seven equations between binomial coefficients are ‘coincidences’ — they aren’t among the four known infinite families of such equations: At that time, he and his collaborators checked there were ...

I want to talk about some attempts to connect the Standard Model of particle physics to the octonions. I should start out by saying I don’t have any big agenda here. It’d be great if the octonions — ...

an appreciation of Bill Lawvere’s work in this direction. More is behind the above link. The idea behind the term is that a geometric space is roughly something consisting of points or pieces that are ...

It’s an underappreciated fact that the interior of every simplex Δ n \Delta^n is a real vector space in a natural way. For instance, here’s the 2-simplex with twelve of its 1-dimensional linear ...