Xena11 min read
How to Formalize All of Mathematics
Article URL: https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/ Comments URL: https://news.ycombinator.com/item?id=50118512 Points: 46 # Comments: 42
By practalHacker News
Read the full story
Originally published by Hacker News on Oct 16, 2026.
Comments
Sign in to join the discussion.