P.马丁 - 洛夫（2006 年）《策梅洛选择公理 100 年：它有什么问题？》——机器直觉主义者 - SegmentFault 思否

P.马丁 - 洛夫（2006 年）《策梅洛选择公理 100 年：它有什么问题？》——机器直觉主义者

发布于 8 月 3 日

这

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

阅读 14

0 条评论

评论支持部分 Markdown 语法：**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用。你还可以使用 @ 来通知其他用户。