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
Subject: Re: Hypothetical possibilities --- Complete Proof
Date: Fri, 02 Aug 2024 23:42:15 +0100
Organization: A noiseless patient Spider
Lines: 14
Message-ID: <87frrmczso.fsf@bsb.me.uk>
References: <v7gl30$3j9fi$1@dont-email.me> <v8306v$3c7$1@news.muc.de>
	<v83161$3dftr$11@dont-email.me> <v84udt$3rp4t$1@dont-email.me>
	<v8bc6j$159av$1@dont-email.me>
	<ea673a5b4ed43fbddf938c69bd013b0cf2ca325d@i2pn2.org>
	<v8c6kb$1de3l$1@dont-email.me>
	<9f3112e056ad6eebf35f940c34b802b46addcad4@i2pn2.org>
	<v8cde0$1ecgo$1@dont-email.me> <v8ctgt$1gbu7$4@dont-email.me>
	<v8dkc3$1kii7$3@dont-email.me> <v8e55v$1nrnh$1@dont-email.me>
	<v8e9vu$1oqd7$1@dont-email.me> <v8fftq$22ege$3@dont-email.me>
	<v8fuj5$24rl1$10@dont-email.me> <v8g1j7$24u77$6@dont-email.me>
	<v8g2jl$26d7d$1@dont-email.me> <v8ibf5$2p7ho$1@dont-email.me>
	<s3CdnbweXt8ohDD7nZ2dnZfqn_ednZ2d@brightview.co.uk>
	<a287d1fc2c1fc90d4381e46eae05287b96e801b9@i2pn2.org>
	<-Vednah5VvbtwTD7nZ2dnZfqnPSdnZ2d@brightview.co.uk>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Sat, 03 Aug 2024 00:42:15 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="415cf28f74f23eafe97e7e4af33ac9bc";
	logging-data="3193261"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX188Ru6umrLNSe5es7aVU33khMddjw/nX5U="
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:MiwWHWa+yqpfWiPUF4i3hO/87LQ=
	sha1:2FdDoHlS5mJBvUYSUu4Hoz/TIFM=
X-BSB-Auth: 1.6433f7f60e19983cf190.20240802234215BST.87frrmczso.fsf@bsb.me.uk
Bytes: 2329

Mike Terry <news.dead.person.stones@darjeeling.plus.com> writes:

> Of course these traces don't support PO's overall case he is claiming,
> because the (various) logs show that DDD halts, and that HHH(DDD) reports
> DDD as non-halting, exactly as Linz/Sipser argue. Er, that's about it!

PO certainly used to claim that false (non-halting) is the correct
result "even though DDD halts" (I've edited the quote to reflect a name
change).  Unless he's changed this position, the traces do support his
claim that what everyone else calls the wrong answer is actually the
right one.

-- 
Ben.