Mathematical Necessity of the Infinite (Hugh Woodin) [video] | Hacker News Reader