Scott Aaronson | How Much Math Is Knowable?
Harvard CMSA1 HN recommender · recommended in 1 month, 2025–2025
lecture · intermediate · evergreen · 2025–2025 on HN
Scott Aaronson's Harvard CMSA talk traces what mathematical truths are knowable, from Godel and Turing to the Busy Beaver function. He covers recent work on Busy Beaver values.
Pointed to in Busy Beaver threads as an accessible expert talk on the topic.
Up next
18 mo on HNRuby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
17 HN recommender · 2013–2026
9 mo on HN28c3: The Science of Insecurity
28c3
9 HN recommender · 2012–2024
8 mo on HN"Propositions as Types" by Philip Wadler
Strange Loop Conference
9 HN recommender · 2015–2026
7 mo on HNBreak Me00 The MoVfuscator Turning mov into a soul crushing RE nightmare Christopher Domas
Adrian Crenshaw
6 HN recommender · 2017–2026
7 mo on HNMath's Fundamental Flaw
Veritasium
7 HN recommender · 2021–2024
6 mo on HNOn The Turing Completeness of PowerPoint (SIGBOVIK)
Tom Wildenhain
8 HN recommender · 2017–2025
6 mo on HNLife in life
Phillip Bradbury
6 HN recommender · 2013–2025
5 mo on HNLambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
Fullstack Academy
5 HN recommender · 2019–2024
6 mo on HNAll the Numbers - Numberphile
Numberphile
6 HN recommender · 2019–2025
5 mo on HNP vs. NP and the Computational Complexity Zoo
hackerdashery
4 HN recommender · 2015–2026
4 mo on HNRuby Manor 3 - Programming with Nothing by Tom Stuart
Confreaks
4 HN recommender · 2013–2019
4 mo on HNDavid Beazley - Lambda Calculus from the Ground Up - PyCon 2019
PyCon 2019
4 HN recommender · 2019–2021
3 comments from Hacker News
An interesting thing about this is that they figured out a high-level description of what this Busy Beaver program is doing - it's computing a Collatz-like sequence until it terminates. I'm not sure if that is described in this paper, but I learned about it in this Scott Aaronson talk, ▶ this video e.g see the slide at 31:40.
Scott Aaronson | How Much Math Is Knowable? [Harward CMSA]: ▶ this video Recently on HN (couple of months ago): link
Feature Request: Can we have dark mode for videos? An AI OS should be able to understand and satisfy such a usecases. E.g. Scott Aaronson | How Much Math Is Knowable? ▶ this video The video slides could be converted into a dark mode for night viewing.