Hilbert's Sixth Problem Resolved | Hacker News Reader