Login
Roast topics
Find topics
Find it!
From:
research.mietek.io
(Uncensored)
subscribe
P. Martin-Löf (2006) 100 years of Zermelo’s axiom of choice: What was the problem with it? — Machine Intuitionist
https://research.mietek.io/mi.MartinLof2006.html
links
backlinks
Tagged with:
math
formalmethods
Roast topics
Find topics
Roast it!
100 years of Zermelo’s
