This is an excellent talk by Scott Aaronson, although it's not something that can be digested as quickly as the typical HN post. The summary slide at the end is perhaps a good introduction to the scope of the topic:
* In math, we are finite beings trying to apprehend the infinite
* The Busy Beaver function actually quantifies that (!)
* Even the finite can exceed the scope of the cosmos. That's where we need physics and complexity theory
* Quantum computers look like they're already slightly expanding the scope of what mathematical statements we can know
* Can we know even more than that? Depends what the ultimate laws of physics are
jerf•34m ago
"although it's not something that can be digested as quickly as the typical HN post"
I really want a view of HN that is something like the upvotes divided by the number of comments (although, not necessarily linear). Those aren't necessarily the "best" by every metric, not saying this is the "best" view or anything, but it would be an interesting one.
munchler•1h ago
* In math, we are finite beings trying to apprehend the infinite
* The Busy Beaver function actually quantifies that (!)
* Even the finite can exceed the scope of the cosmos. That's where we need physics and complexity theory
* Quantum computers look like they're already slightly expanding the scope of what mathematical statements we can know
* Can we know even more than that? Depends what the ultimate laws of physics are
jerf•34m ago
I really want a view of HN that is something like the upvotes divided by the number of comments (although, not necessarily linear). Those aren't necessarily the "best" by every metric, not saying this is the "best" view or anything, but it would be an interesting one.