[vismit2000]

Scott Aaronson | How Much Math Is Knowable? [Harward CMSA]: https://www.youtube.com/watch?v=VplMHWSZf5c

Recently on HN (couple of months ago): https://news.ycombinator.com/item?id=43776477