Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Anyone that disagrees with this is not telling the truth --- V5
 --- Professor Sipser
Date: Thu, 29 Aug 2024 18:52:39 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <e73d8b30315ddc55913dca3ffda0bd99b5d90ee1@i2pn2.org>
References: <va104l$376ed$4@dont-email.me> <va38qh$3ia79$1@dont-email.me>
 <7a1c569a699e79bfa146affbbae3eac7b91cd263@i2pn2.org>
 <va3f7o$3ipp3$1@dont-email.me>
 <729cc551062c13875686d266a5453a488058e81c@i2pn2.org>
 <va3kac$3nd5c$1@dont-email.me>
 <148bf4dd91f32379a6d81a621fb7ec3fc1e00db0@i2pn2.org>
 <va3lai$3nd5c$2@dont-email.me> <va46sd$3pr24$1@dont-email.me>
 <va4mle$3s0hu$1@dont-email.me>
 <5591ff08ed8f7b4bdf33813681e156b775efe0ec@i2pn2.org>
 <va63uu$2fo9$1@dont-email.me>
 <b0a86b6a1343ebb5f9112ae757768a7cbbc770b2@i2pn2.org>
 <va65r8$6ht7$1@dont-email.me>
 <26fadbf7b8cb5f93dbe18bffeff6e959251f9892@i2pn2.org>
 <va6b4n$7boc$1@dont-email.me>
 <b19eb2a29dacfa67f2f9ced0d03234e980f4c985@i2pn2.org>
 <va6edj$8f0p$1@dont-email.me> <vak2dd$2lg1o$1@paganini.bofh.team>
 <vakkha$30fkq$1@dont-email.me> <vamovj$3dl83$1@dont-email.me>
 <van3tu$3f6c0$4@dont-email.me> <van5gk$3fgd3$1@dont-email.me>
 <van67i$3foem$1@dont-email.me> <vap8cm$3stbh$1@dont-email.me>
 <vapvml$3vumk$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 29 Aug 2024 22:52:39 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="189249"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <vapvml$3vumk$6@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 4055
Lines: 56

On 8/29/24 10:13 AM, olcott wrote:
> On 8/29/2024 2:35 AM, Mikko wrote:
>> On 2024-08-28 12:46:42 +0000, olcott said:
>>
>>> On 8/28/2024 7:34 AM, Fred. Zwarts wrote:
>>>> Op 28.aug.2024 om 14:07 schreef olcott:
>>>>> On 8/28/2024 4:00 AM, Fred. Zwarts wrote:
>>>>>> Op 27.aug.2024 om 15:32 schreef olcott:
>>>>>>>
>>>>>>> <MIT Professor Sipser agreed to ONLY these verbatim words 
>>>>>>> 10/13/2022>
>>>>>>>      If simulating halt decider H correctly simulates its input D
>>>>>>>      until H correctly determines that its simulated D *would never*
>>>>>>>      *stop running unless aborted* then
>>>>>>> <MIT Professor Sipser agreed to ONLY these verbatim words 
>>>>>>> 10/13/2022>
>>>>>>>
>>>>>>> HHH is only required to correctly predict whether or not DDD
>>>>>>> *would never stop running unless aborted*
>>>>>> And since DDD is calling an HHH that is programmed to detect the 
>>>>>> 'special condition', so that it aborts and halts, DDD halts as 
>>>>>> well and
>>>>>
>>>>> *THIS IS YOUR REASONING*
>>>>> If you are hungry and never eat you will remain hungry.
>>>>> You are hungry and eat becoming no longer hungry.
>>>>> *This proves that you never needed to eat*
>>>>
>>>> No, apparently, your understanding of logic English is very poor.
>>>
>>> HHH simulates DDD until it has inductive evidence that
>>> in the purely hypothetical case where a different HHH
>>> would never abort its emulation of DDD that DDD would
>>> never terminate normally.
>>>
>>> If we don't do it this way then infinite loops always halt.
>>
>> I would consider the infinite loops that always halt a more useful 
>> result.
>>
> 
> A halt decider that always ignores its input and reports
> halting is more useful? A decider such as mine would prevent
> Denial Of Service (DOS) attacks. Permitting DOS attacks
> is less useful.
> 
> 

Which means that your Halt decider shouldn't ignore the input that they 
are ACTUALLY given, which include that they call THIS halt decider, and 
imagine they call something else.


YOu are just proving your own arguement is wrong.