Re:Tetration
by tectonic on Sunday May 02, 2010 @03:46PM
(#1313021)
So if humans can compute the first few Busy Beaver numbers, does that mean we're not Turing machines?
[ Parent
| on HN ]
Not at all. Just because a problem in general is uncomputable does not mean that certain specific instances can't be computed. For example, the halting problem is undecidable, but anyone can see that loop of the form
while (1) { }
is an infinite loop. Undecidability and uncomputability apply only at the level of general problems, not specific instances.