Top all-time · #13858
Asaf Karagila
Personal blog · karagila.orgmathphilosophy
Asaf Karagila's personal blog at karagila.org covers math and philosophy. Since 2019, 5 different Hacker News readers have linked it 5 times, most often “I don't trust Lean code from AI”. It is still writing: the last post was on 2026-10-09, and you can follow it by feed.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
HN readers link Asaf Karagila's post on the partition principle as an introduction to an open set theory problem about paradoxical partitions in models without AC. One commenter calls it a nice introduction.
Summarised by Claude from a sample of 1 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- I don't trust Lean code from AI2 people · 2 mentions · first linked 2026-10-10
- OpenAI, the Partition Principle, and Mathematics2 people · 2 mentions · first linked 2026-10-08
What Hacker News says?
In fact it's an open problem (very likely the oldest open problem in set theory) whether in every model of not AC there is a set with such a paradoxical partition! Here's a nice introduction to the problem by Asaf Karagila http://karagila.org/2014/on-the-partition-principle/
Comment linking /2014/on-the-partition-principle/
on “List of Statements Independent of ZFC”Submitted OpenAI, the Partition Principle, and Mathematics as a story · 213 points
HN discussionSubmitted I don't trust Lean code from AI as a story · 6 points
HN discussionSubmitted OpenAI, the Partition Principle, and Mathematics as a story · 2 points
HN discussionSubmitted I don't trust Lean code from AI as a story · 1 points
HN discussion