Hacker News· practal·· 17 天前精选AI 评分24
如何形式化全部数学
How to Formalize All of Mathematics
AI 导读
Hacker News 帖子分享了 xena project 博客文章《如何形式化全部数学》，文章讨论数学形式化的方法。该帖获得 62 分、54 条评论，原文链接 https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/
来源：Hacker News · xenaproject.wordpress.com