Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Ben Bacarisse <ben@bsb.me.uk>
Newsgroups: comp.theory,sci.logic
Subject: Re: Richard seems to continue to blatantly lie -- I hope I am wrong about this
Date: Tue, 09 Jul 2024 13:29:57 +0100
Organization: A noiseless patient Spider
Lines: 33
Message-ID: <87sewirbne.fsf@bsb.me.uk>
References: <v644pn$29t4h$3@dont-email.me>
	<5e6e8072022c865ced4b1a1de23b786bc05c22ce@i2pn2.org>
	<v64qr3$2e7d4$1@dont-email.me>
	<0354c808b6aa23146776ec5ad6eed3b66cab2713@i2pn2.org>
	<v64tur$2emil$1@dont-email.me>
	<6020931f5638c63badea7d322cc5c555022c0f40@i2pn2.org>
	<v6ik5u$199c1$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 09 Jul 2024 14:30:00 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="3bc602097df9bef4fe534cf857153f79";
	logging-data="1463255"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX184bAuUB2O+9YzGG/7iM6Gc+GVjW2jbOwg="
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:TEDI8PSmhMMVEoGqO+NfkuyUkMc=
	sha1:JdCWQ3WMN/QQkW235qHS7E1uUQU=
X-BSB-Auth: 1.0ff172bb8dca4ca26b0a.20240709132957BST.87sewirbne.fsf@bsb.me.uk
Bytes: 2647

Barb Knox <Barb@sig.below> writes:

> On 04/07/2024 13:53, Richard Damon wrote:
>> On 7/3/24 9:30 PM, olcott wrote:
>>> On 7/3/2024 8:12 PM, Richard Damon wrote:
>>>> On 7/3/24 8:36 PM, olcott wrote:
>>>>> On 7/3/2024 6:18 PM, Richard Damon wrote:
>>>>>> On 7/3/24 2:20 PM, olcott wrote:
>>>>>>> _DDD()
>>>>>>> [00002172] 55               push ebp      ; housekeeping
>>>>>>> [00002173] 8bec             mov ebp,esp   ; housekeeping
>>>>>>> [00002175] 6872210000       push 00002172 ; push DDD
>>>>>>> [0000217a] e853f4ffff       call 000015d2 ; call HHH(DDD)
>>>>>>> [0000217f] 83c404           add esp,+04
>>>>>>> [00002182] 5d               pop ebp
>>>>>>> [00002183] c3               ret
>
> [...]
>
> Can someone please explain to me why a discussion of the Halting Problem is
> using Intel assembly laguage?

Short answer: PO does not understand any of the formal models of
computation and he's been able to persuade people to keep talking to him
despite that rather severe limitation.

It's also worth pointing out that this discussion is not about the
Halting Problem.  PO has been quite clear -- this is a discussion of a
decision problem (although he does not really understand that term) in
which false is the correct result for at least one halting computation.

-- 
Ben.