3 ms·
You're confused. Only very basic arithmetic is needed to prove that any particular TM halts (if it does halt). You might have meant to say something like, "ca
by xamuel 9y ago
You're confused. Only very basic arithmetic is needed to prove that any particular TM halts (if it does halt). You might have meant to say something like, "can only prove that N of the Busy Beavers are really Busy Beavers".
- ultrafilter 9y agoYou're right. I should have written "halts last among its peers" or similar.