The dawn of formalized mathematics [video]By Thom2503 · 2026-09-11 · 1 points · 0 commentshttps://www.youtube.com/watch?v=zp6WleEjHUgBy Thom2503 · 1 points · 0 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews