Page not found
This question was removed from MathOverflow for reasons of moderation. Please refer to the help center for possible explanations why a question might be removed.
Here are some similar questions that might be relevant:
- Is "all categorical reasoning formally contradictory"?
- Succinctly naming big numbers: ZFC versus Busy-Beaver
- Fulfilling Pythagoras' Dream using Nonstandard Models of Arithmetic and/or Surreal Numbers
- Can we axiomatize Omnific Integers without the Surreal Number system?
- Question about Godel's Proof book (Ernest Nagel / James R. Newman)
- Variable numerical quantifiers
- Changing cofinalities using Radin Forcing
- Can all lengths of shortest non-halting inputs of all Turing machines be limited by the Busy Beaver applied to the corresponding numbers of states?
- Uncomputability of a function based on the Busy Beaver function
- Can proper classes have different sizes?
Try a Google Search
Try searching for similar questions
Browse our recent questions
Browse our popular tags
If you feel something is missing that should be here, contact us.