On 4/20/2012 7:22 AM, Jussi Piitulainen wrote:
> Peter Olcott writes:1. One which answers "yes" without reading any input, or
>> On 4/20/2012 12:30 AM, Jussi Piitulainen wrote:
>>> Peter Olcott writes:
>>>> On 4/19/2012 10:02 PM, Rick Decker wrote:
>>>>> <sigh> Just for fun, I'll weigh in on this. This is most
>>>>> emphatically a decidable problem. Exactly one of two deciders is
>>>>> clearly the right one:
>>>>> 1. One which answers "yes" without reading any input, or
>>>>> The fact that we don't know which one is correct has no bearing
>> If this is *not* an undecidable instance then what element of the
>> (3) This only leaves neither true nor false. I am calling this
> You need not be stuck with the one word that already has a very
> Yes, no, maybe. True, false, sorry. Halts, halts not, mu.
> The question remains, is the third answer interesting. And is the
>>> When a Turing machine is run an encoding of itself as a string,
2. One which answers "no", also without reading any input.
Since both yes and no are wrong answers to the question that you
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.