Yes, this is correct, but the halting problem can still be solved with a simple algorithm for each such machine, and even for all of them at once :-) But okay, we understand each other.
Current theme: default
Less Wrong (text)
Less Wrong (link)
Yes, this is correct, but the halting problem can still be solved with a simple algorithm for each such machine, and even for all of them at once :-) But okay, we understand each other.