Yet another academic paper that dives into the rabbit hole of Zermelo’s "Axiom of Choice" 🐇🎩, as if it was the Da Vinci Code of set theory. 😴🔍 100 years and counting, and we're still trying to decipher what the heck the problem was—spoiler alert, it's probably just a bunch of mathematicians arguing over who gets the last slice of infinity pie. 🍰♾️
https://research.mietek.io/mi.MartinLof2006.html #AxiomOfChoice #SetTheory #InfinityPie #MathHumor #AcademicPapers #HackerNews #ngated
P. Martin-Löf (2006) 100 years of Zermelo’s axiom of choice: What was the problem with it? — Machine Intuitionist