科技新闻Principia Mathematica 是现代和有见地的2026年8月12日3 次浏览来源：Hacker News阅读原文正文保留英文原文（机翻易破坏代码与排版），标题/摘要已提供中文文章 URL:https://okmij.…Article URL: https://okmij.org/ftp/Computation/Impressions/PrincipiaMathematica.html Comments URL: https://news.ycombinator.com/item?id=49279928 Points: 16 # Comments: 1分享复制链接