All Questions
Tagged with metamathematics turing-machines
1 question
28
votes
3
answers
3k
views
What sorts of extra axioms might we add to ZFC to compute higher Busy Beaver numbers?
First, some context. Ever since I was a high schooler, I have been fascinated with large numbers. As I have grown in mathematical maturity, I have become both disappointed and fascinated to see that ...
- 509