How Much Math Is Knowable? (Scott Aaronson Santa Fe Institute Talk) [video] | Hacker News Reader