Scott Aaronson | How Much Math Is Knowable?
58K views • 1 year ago
Harvard CMSA
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.
