All Questions
Tagged with busy-beaver termination
1 question
1
vote
0
answers
37
views
What kind of small Turing machines evade current attempts to prove their halting?
On the german Wikipedia, I read that:
Der Bulgare Georgi Georgiev veröffentlichte 2003 eine Untersuchung, in
der er fleißige Biber daraufhin analysierte, ob sie anhalten würden
oder nicht.[2] Für {\...
- 480