All Questions
Tagged with turing-machines big-picture
2 questions
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 ...
3
votes
1
answer
786
views
Is there a well defined subset of the integers that cannot be defined as a property of a recursive process or Turing Machine?
Is there a well defined subset of the integers that cannot be defined as a property of a recursive process or Turing Machine?
I have long been intrigued by the observation that much of mathematics ...