The Aperiodical — 6/12/2026
We were kindly sent a copy of Claudia de Rham’s new book ‘The Beauty of Falling’, and asked irregular contributor Elinor Flavell to write this review. Claudia de Rham’s “The Beauty of Falling” is not just a book about gravity: it is a book about…
Fractal Kitty — 6/11/2026
Let me tell you about a language. But if you wish to go play instead go here. It’s going to get a little abstract below.There is a Canvas to Compose UponThe canvas is a square with the largest circle that has a radius of ρ.There
Computational Complexity — 6/10/2026
There are two ways to look at the P v NP problem, as a formal mathematically defined conjecture as a Clay Millennium Prize Problem, and as the more intuitive notion that everything efficiently verifiable is efficiently computable and the…
The Aperiodical — 6/10/2026
Double Maths First Thing is NOT procrastinating in the group chat. Why would you even suggest that? Hello! My name is Colin and I am a mathematician on a mission to spread the joy and delight of doing maths and, from time to time, the absurdities…
Crooked Timber — 6/9/2026
Jerry Cayford at Three Quarks Daily has written a piece responding to the near-farcical “jungle primary” in California where it appeared possible at one point that both of the candidates making it through to the general election might be…
Joel David Hamkins — 6/8/2026
This will be a series of graduate lectures at Peking University, two lectures per week beginning mid-June and proceeding into July. Topics. We shall aim to cover the central results in the modal logic of forcing, including an exploration of ……
Crooked Timber — 6/8/2026
Last week, because of a combination of bad planning (my bad) and endless delays (Deutsche Bahn’s bad), I arrive very late in a hotel in Berlin. I had to ring the doorbell. The guy at the reception started giggling the moment I came in, which…
Computational Complexity — 6/7/2026
(In 2008 I wrote a survey of some of the known sum-product theorems, see here. Avi Wigderson has a great slide-set on sum-product theorems and their applications—the slides are on Avi’s webpage of talks he has given (all the talks are excellent)…
Crooked Timber — 6/7/2026
The n-Category Café — 6/6/2026
Readers may have noticed that I haven’t been very active here for a while. That isn’t because I haven’t felt the “blogging urge”, but because I felt that the things I want to blog about right now wouldn’t be…
The Aperiodical — 6/4/2026
The next issue of the Carnival of Mathematics, rounding up blog posts from the month of May 2026, is now online courtesy of Sophia Wood at Fractal Kitty. The Carnival rounds up maths blog posts from all over the internet, including some from our…
Computational Complexity — 6/3/2026
Yesterday, National Academy of Sciences President Marcia McNutt delivered her last annual State of the Sciences Address. Overall the talk basically calls us to adapt to the new reality that industrial and foundation support for research has taken a…
Fractal Kitty — 6/3/2026
Welcome to the 252nd Carnival of Mathematics! This post brings together submissions and other posts from the mathy web. Thanks all for participating.Let’s start with the number: 252Divisors: 1, 2, 3, 4, 6, 7, 9, 12, 14, 18, 21, 28, 36, 42, 63, 84,…
The Aperiodical — 6/3/2026
Here’s a short round-up of maths news stories from the last two months that we didn’t otherwise cover on the site. Thomas Dieterrich, a representative of the arXiv, has clarified the site’s AI policy – in a Twitter thread (non-Twitter mirror link)…
The Aperiodical — 6/3/2026
Double Maths First Thing doesn’t know where to start Hello! My name is Colin and I am a mathematician on a mission to spread the joy and delight that comes from working things through and wrapping them up with a neat mathematical bow. Before…
Computational Complexity — 6/1/2026
Odd Scenarios about Research ClaimsI blogged about OpenAI’s achievement of having AI solve a math problem here.My post had a few comments about authorship of such results.Lance had a post about co-authorship and AI hereThere are times when an…
AlternativeBit — 6/1/2026
TL;DR: introducing nar-klepto, the context that led to its inception, and some fun experiments we did last week with it. 4 years ago, I moved out of Bayonne to a rural area. My quality of life almost instantly skyrocketed; however, I quickly felt a…
Crooked Timber — 6/1/2026
Google maps said it would take 2.5 hours to drive from our place in the Blue Mountains to Hill End. Maybe we’re slow. And sure, we stopped to check out nearby gold mining village Sofala on the way. But we left home shortly after 8am and arrived at…
Crooked Timber — 5/31/2026
The Aperiodical — 5/28/2026
This is a guest post from museum educator and mathematician Tom Briggs, about his session at last August’s Talking Maths in Public conference. 2025’s Talking Maths in Public (TMiP) conference took place on the Warwick University campus, but the…
Computational Complexity — 5/27/2026
The technical paper for the Erdős Unit Distance Problem lists only “OpenAI” as an author. When Bill posted on Sunday about the Erdős distance problems, he mentioned the names of OpenAI researchers who prompted and checked the proof. Sebastien…
The Aperiodical — 5/27/2026
Double Maths First Thing adds a Holy C Hello! My name is Colin and I am a mathematician on a mission to spread the joy and delight of figuring things out. Here in Weymouth, we’re sweltering but lucky 12yo is about to jet off to Barcelona for a week…
The Aperiodical — 5/26/2026
We were sent a free copy of this book by the publisher, and invited irregular contributor Elinor Flavell to read and review it. Been feeling finite recently? Bounded by life? Those larger numbers feeling out of reach? Then you need “A Guide to…
Computational Complexity — 5/25/2026
In a 1946 paper in the American Mathematical Monthly, Paul Erdős posed the Erdős Distinct Distance Problem and the Erdős Unit Distance Problem.——————————————————————–THE ERDŐS DISTINCT DISTANCE PROBLEMA…
Crooked Timber — 5/24/2026
Math ∩ Programming — 5/22/2026
Here are some more whimsical OEIS sequences I came across. XKCD 2016 joked that “OEIS keeps rejecting my submissions,” including one that gives “Integers in increasing order of width when printed in Helvetica.” Well, two days after that comic was…
Fractal Kitty — 5/21/2026
unedited human writing before bedOriginIn the beginning there was a point. …And the beginning was but a period in which time was noted by a wisp of this existence
Crooked Timber — 5/21/2026
One my betes noires has been in the news lately. Jonathan Haidt has been annoying me since at least 2012, when I was critical of his bothsidesism on the culture wars. At the time, he was a concern troll, posing as a liberal worried about other…
Computational Complexity — 5/20/2026
Let (f) be a function mapping binary strings of length (m) to strings of length (n) with (n>m). Since there are more strings of length (n) than (m), (f) is not onto. Can you find a string not in the range? This is known as the range…
The Aperiodical — 5/20/2026
Double Maths First Thing has been blown away by a puzzle Hello! My name is Colin and I am a mathematician on a mission to spread the joy and delight in mathematical thinking, in figuring things out, and in doing things that make you feel clever….
Crooked Timber — 5/18/2026
Mostly I leave Sunday photography to our colleague, the estimable Chris Bertram. Still, this Sunday I was walking the dog in the hills above my town. (“My town” being a modest community of a couple of thousand people in the rolling countryside of…
Fractal Kitty — 5/17/2026
Thanks to Sam Graf for introducing me to this and suggesting some toys. IntroductionMultiplication tables can be fun. Line up your numbers, multiply, and find patterns. Like with 5x5, we can fill it out and highlight symmetry, divisibility,…
Computational Complexity — 5/17/2026
1) Congratulations to Scott Aaronson for winning the first Trevisan Award.The Trevisan Award is in memory of Luca Trevisan and recognizes expository work in Theoretical Computer Science. It is given out by the ACM. The ACM announcement of Scott’s…
Crooked Timber — 5/17/2026
Computational Complexity — 5/14/2026
For those very long-time readers this blog extensively covered prediction markets from 2006 to 2008. In a prediction market, you have a future event, such as the winner of an election, and a market that pays off one dollar if that event happens and…
The Aperiodical — 5/13/2026
Double Maths First Thing is petitioning the weather to be nicer Hello! My name is Colin and I am a mathematician on a mission to spread joy and delight in all things mathematical. I had a nice “oho!” moment in class with a student today looking at…
Crooked Timber — 5/12/2026
Academics, especially in the humanities, produce texts, and they teach students to produce text. This is a standard assumption, often taken for granted, and maybe not too surprising in times in which productivity is a supreme social norm. Think of…
Computational Complexity — 5/11/2026
In David Marcus’s guest post on good coding style (see here) he reviewed a book from 1986 called “Professional Pascal.”I wondered if it was still in print and could be bought:1) I went to Amazon and searched all products for Professional Pascal….
Crooked Timber — 5/11/2026
Last week Australia’s central bank (Reserve Bank of Australia, RBA) raised interest rates. Again. Political economists have been talking for decades about the RBA’s tendency to redistribute wealth from the bottom upwards. But now it seems most…
Crooked Timber — 5/10/2026
Computational Complexity — 5/6/2026
As the blog of record in computational complexity, we like to bring attention to those in the community who have left us. When we learn of someone in our field who has died, Bill and I will talk to each other and decide whether we should do a…
Computational Complexity — 5/4/2026
Michael Rabin passed away on April 14,2026. I blogged about him here. My post listed results of his that proved upper and lower bounds on problems. My point was that he proved upper and lower bounds for MANY different levels- from decidable to…
Crooked Timber — 5/3/2026
The n-Category Café — 5/2/2026
In the last episode of my column in Notices of the American Mathematical Society, we looked at a particle moving in an attractive central force whose strength is proportional to the inverse cube of the distance from the origin….
Computational Complexity — 4/29/2026
My favorite quote about networking came from Jim Kurose. The Internet works so well because it doesn’t have to. The IP and lower layers of the internet stack make no promises of delivery. Complete failure fulfills the protocol. This allows for…
Math ∩ Programming — 4/29/2026
Table of Contents In this tutorial series, I will introduce the CKKS homomorphic encryption scheme from the ground up, in rather intricate detail. Each article in this series corresponds to a pull request on a GitHub repository. The code for this…
Crooked Timber — 4/28/2026
That’s the actual name of the paper. Isn’t that great? Here’s a prologue: a post I wrote a while back about the Portuguese Man-o’-War. (It’s kind of long — I was new to CT back then, and still figuring stuff out). To summarize: the Portuguese…
Computational Complexity — 4/26/2026
A few months ago in Oxford, Bernard Sufrin, an emeritus fellow, said he’s looking to hire a student to implement LEAP (Logic Engine for Argument by Pointing), a way to teach logic by proving basic logic theorems via pointing and clicking. Rahul…
Crooked Timber — 4/26/2026
Joel David Hamkins — 4/23/2026
This will be a talk for the Philosophy Department Colloquium at Ohio University in Athens, OH on April 30th, 2026. I am very grateful for the invitation. A potentialist perspective on ultrafinitism, Ohio University Abstract. Ultrafinitism is the…
Fractal Kitty — 4/23/2026
IntroductionPentominoes are shapes made from 5 squares joined edge-to-edge. There are 12 of them:Next, let’s define what an enclosed area is with these shapes. The pentominoes must create a fence where they touch edge-to-edge with no overlaps. Note…
Computational Complexity — 4/23/2026
Michael Rabin passed away on April 14, 2026 at the age of 94. (Scott Aaronson has also blogged about his passing, see here.) I had many points to make about him; however, the first one got so long that I will just do that one for today’s blog…
Computational Complexity — 4/16/2026
At Oxford I focused my research and discussions on how we can use the tools of computational complexity to help us understand the power and limitations of machine learning. Last week I posted my paper How Does Machine Learning Manage Complexity?, a…
Computational Complexity — 4/14/2026
Guest post from Peter Brass, Former NSF Theory director (though not affiliated with the NSF now) on the White House NSF budget for FY 2027.———————————————Dear ColleaguesA week ago the White House released the NSF…
Computational Complexity — 4/14/2026
I posted about using the Banach-Tarski Paradox(BT) to explain the miracle of Loaves and Fishes (LF) here.Darling says that whenever I fool my readers or my students then I have to tell them later, so I’ll tell you now: The story about me meeting…
Mathematics and Computation — 4/13/2026
After spending many irritating hours with ChatGPT and Copilot, I finally tried out Claude. I told it to update photos of mathematicians from a derelict Perl script to a shiny new Python script with JSON, face recognition and modern CSS. It worked…
Mathematics and Computation — 4/13/2026
After spending many irritating hours with ChatGPT and Copilot, I finally tried out Claude. I told it to update photos of mathematicians from a derelict Perl script to a shiny new Python script with JSON, face recognition and modern CSS. It worked…
Math ∩ Programming — 4/13/2026
I went hunting for references to the OEIS in open source code, and found some weird ones. There are not one, but two live-coding music frameworks that use OEIS sequences as a source for “anything that can be sequenced” in music. I’m guessing that’s…
Math ∩ Programming — 4/9/2026
A051070 is a sequence about OEIS sequences. a(n) is the n-th term in sequence A_n (or -1 if A_n doesn’t have enough terms). So the first term in A051070 is 1 because A000001 is the number of groups of order n, and that sequence has 1 as its entry…
Math ∩ Programming — 4/7/2026
Problem: Determine if a 32-bit number is prime (deterministically) Solution: (in C++) // Bases to test. Using the first 4 prime bases makes the test deterministic // for all 32-bit integers. See https://oeis.org/A014233. int64_t bases[] = {2, 3, 5,…
Computational Complexity — 4/5/2026
Here are the solutions to the problems I posted last week. Problem 1 A language (L) is commutative if for all (u), (v) in (L), (uv = vu). Show that (L) is commutative if and only if (L) is a subset of (w^*) for some string…
Joel David Hamkins — 4/4/2026
This will be a talk for the Logic Seminar at the University of Notre Dame, 14 April 2026, 2pm, Room 125 Hayes-Healey. Abstract After establishing several general features of the hierarchy of consistency strength, we shall consider the possible…
Computational Complexity — 4/1/2026
I blogged about Pope Leo XIV here. Pope Leo XIV has an undergraduate degree in mathematics. He saw my post and asked for my help with his latest encyclical. LEO: Let’s have lunch together at Popeyes.BILL: Why Popeyes?LEO: The name is Pope-yes so I…
Math ∩ Programming — 4/1/2026
It’s the 5th annual April Cools! Here are my previous April Cools articles This year it’s a book review of Ben Recht’s book, The Irrational Decision: How We Gave Computers the Power to Choose For us, released Mar 10, 2026. The publishing industry…
Fractal Kitty — 4/1/2026
IntroductionLet’s start with E. Its opposite is O. So if we flip E, we get O. Let’s make a pattern. EE OE O O EE O O E O E E OHow is this pattern constructed? What comes next? Write
Computational Complexity — 3/29/2026
Occasionally I run into what I consider fun problems in complexity, that require just a little bit of out of the box thinking. They require some background in theory, but nothing too deep. Some of these problems have been mentioned before on my…
Joel David Hamkins — 3/28/2026
I am very pleased to announce that The Book of Infinity is now available for pre-order. Check it out at your favorite booksellers. From the preface: Come, let us explore infinity! We shall visit all my favorite paradoxes and conundrums. The ancient…
The n-Category Café — 3/27/2026
Slides for a talk on features of the octonionic projective plane.
Computational Complexity — 3/25/2026
High table dinner at MagdalenMy time in Oxford has come to an end and I head back to Chicago this week. I was a visiting Fellow at Magdalen (pronounced “maudlin”) College for the Hilary Term.There’s a six week break between the eight-week Hilary…
Computational Complexity — 3/22/2026
If I get an email offering me a $1000 for I DON”T KNOW SINCE I ignore it and don’t even bother looking for other signs it is a scam. If I get an email offering me $100 I may look more carefully and often they are legit (most common is to give a…
The n-Category Café — 3/20/2026
A large language model has very little self-awareness. But it is easy to give it some rudimentary but useful forms of self-awareness using the “plumbing” language.
Fractal Kitty — 3/20/2026
When I create art, I do so for many reasons. Some of these are:to engage in an expression of beingto explore a concept or experiment with an ideato grow as a person through creativity and struggleto immerse myself in a spiritual actto have a coping
Computational Complexity — 3/18/2026
Gilles Brassard and Charlie BennettCharlie Bennett and Gilles Brassard will receive the 2025 ACM Turing Award for their work on the foundations of quantum information science, the first Turing award for quantum. Read all about it in The New York…
Computational Complexity — 3/16/2026
(If you live in Montgomery County Maryland OR if you care about Education, you MUST read this guest blog by Daniel Gottesman on Scott Aaronson’s blog HERE.) (This post is a sequel to a prior post on this topic that was here. However, this post is…
The n-Category Café — 3/12/2026
A category-theoretic approach to “agent frameworks”: that is, frameworks for coordinating “agents” that are large language models.
The n-Category Café — 2/22/2026
Making precise the idea that equivalent structures are indistinguishable.
Abuse of Notation — 2/22/2026
In the 19th century, Copernicus, Newton, Galilei et al pushed a revolutionary new idea that reshaped the way we think… but no, it’s not talking about cosmology, but about theology. This idea, (which was also the real reason they were in so much…
DEONTOLOGISTICS — 2/14/2026
A couple updates for readers. There will be an impromptu book launch for The Revenge of Reason at Newcastle University on the 25th of February, from 5-7pm in HDB.1.02 in the Henry Daysh Building. I’ll be having a conversation about the book with…
Joel David Hamkins — 2/12/2026
I am honored to be invited to give the Owen G. Owens Memorial Lecture at Wayne State University on 16 April 2026, joining a distinguished list of luminaries giving previous Owens lectures, including Gregory Margulis, John Milnor, Mikhael Gromov,…
Joel David Hamkins — 2/11/2026
I have been asked by the ASL to fill in as a last-minute substitute speaker for the ASL session at the upcoming 2026 APA Central Division Meeting in Chicago, February 18-21, 2026, due to a late cancellation of one of … Continue reading →
Fractal Kitty — 2/6/2026
Whether you call this triangle Pascal’s triangle, Binomial Expansion Coefficients, Yang Hui’s triangle, or any other name, it is beautiful.Finding patterns in this triangle is fun - from counting numbers, to looking at parity (even/odd-ness), to…
Joel David Hamkins — 2/4/2026
This will be a talk at the CUNY Logic Workshop on 13 March 2026, held at the CUNY Graduate Center. Abstract. I shall introduce the elementary theory of surreal arithmetic (SA), a first-order theory that is true in the surreal field when equipped…
Proses.ID — 1/31/2026
I miss writing. That’s a strange thing to say because I’ve been employed as a full-time writer for the past 14 months. And I have…
Proses.ID — 1/31/2026
I’ve been down a rabbit hole for the past few months, obsessed with a single question: “What makes a writing human?” It started, ironically, because…
Fractal Kitty — 1/29/2026
Have you ever been to a quilt store and bought fabric without a plan? You just saw the pretty colors and patterns and went for it? Well, I did - with a jelly roll of white, beige, grays, and black with mathy patterns (Note: A jelly roll is a roll of
The n-Category Café — 1/26/2026
David Jaz Myers has some thoughts about Riemann’s functional equation for the zeta function.
The n-Category Café — 1/6/2026
Dynkin diagrams have always fascinated me. They are magically potent language — you can do so much with them!…
Fractal Kitty — 1/1/2026
Happy New Year! It’s time for Genuary 2026! I am not sure how many prompts I will do (or combine), but I hope to share my code and progress here. I hope to get at least 5-10 done this year with a mix of different languages and
Fractal Kitty — 12/31/2025
IntroductionIn this inquiry, we explore chords, which are lines drawn across circles, using different rules to create various patterns, curves, and shapes. This inquiry will be different from those in the Inquiries Series in that it will be more…
Abuse of Notation — 12/24/2025
Everything we do to secure ourselves, every decision we make out of fear of the future, ends up destroying us, ends up making our future a little more bleak — the closer we are to the public ideal of “success”, the farther we go from our own…
Abuse of Notation — 12/24/2025
When the tower crumbles, some will laugh some will cry, some will fall from the top, some will be buried below. When the tower crumbles, better not be around better go all the way down, so you can run away.
The n-Category Café — 12/21/2025
There are two ways to stick SU(2) × SU(3) in Spin(10). One is good for physics; the other, alas, is easily obtained using the octonions.
The n-Category Café — 12/4/2025
An introduction to the bioctonionic plane and the mathematics needed to understand it.
The n-Category Café — 12/3/2025
A complex-analytic perspective on the indefinite integral of 1/x.
Fractal Kitty — 12/2/2025
December Adventure was started by Eli_oat at Oatmeal. I love seeing what others do this month - here is a log of logs.This December, I plan to make a generative quilt, play with origami, doodle some mossy mandalas, set up next year’s journal, and…
Abuse of Notation — 12/1/2025
I should stop doing category theory. What’s the point?
The n-Category Café — 11/30/2025
Tymoczko gave a good talk on the math of music theory.
Math ∩ Programming — 11/17/2025
In an earlier article, I covered the basic technique for performing matrix-vector multiplication in fully homomorphic encryption (FHE), known as the Halevi-Shoup diagonal method. This article covers a more recent method for matrix-matrix…
Joel David Hamkins — 11/12/2025
This will be a talk for the Logic Seminar at the University of Notre Dame, Tuesday 18 November 20215 2pm 125 Hayes-Healy Building. Abstract. I shall introduce what I call the first-order elementary theory of surreal arithmetic, a theory that is…
Fractal Kitty — 11/8/2025
A coded poem and trackThe Track:Initiated on a piano, and realized on an OP-1 Field. somewhere here0:00/101.302857142857151×The Visual:Human coded in p5js with p5sound - enjoy in fullscreen. Click here for the visual with music - (CW: Strobing…