How to Formalize All of Mathematics
Web page · https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics
First seen by Oriel on .
Metric trends
Last 30 days · Up to 120 recorded samples per source and metric · First and latest retained
Points
Score reported by the source.
- Hacker News: 96, latest observation ; +21 over observed period since
Comments
Comment count reported by the source.
- Hacker News: 84, latest observation ; +9 over observed period since
Aliases
| Source | External ID | URL |
|---|---|---|
| Hacker News | 50118512 | https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/ |