Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: Functions computed by Turing Machines MUST apply finite string
 transformations to inputs
Date: Sat, 3 May 2025 19:04:35 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <98a2b8ac02de7fed57c900f38d12932cb1ffd654@i2pn2.org>
References: <TuuNP.2706011$nb1.2053729@fx01.ams4>
	<87cyd5182l.fsf@nosuchdomain.example.com> <vu6lnf$39fls$2@dont-email.me>
	<vugddv$b21g$2@dont-email.me> <vui4uf$20dpc$1@dont-email.me>
	<vuivtb$2lf64$3@dont-email.me> <vungtl$2v2kr$1@dont-email.me>
	<vuoaac$3jn5n$5@dont-email.me> <vuq81v$1hjka$1@dont-email.me>
	<vutefq$gmbi$3@dont-email.me>
	<991dde3a60e1485815b789520c7149e7842d18f2@i2pn2.org>
	<vuti3c$jq57$1@dont-email.me> <vutmr6$nvbg$2@dont-email.me>
	<vutv7r$v5pn$4@dont-email.me> <vuu73m$151a8$3@dont-email.me>
	<vuuej8$1cqp7$1@dont-email.me> <vuur2n$1qe3m$2@dont-email.me>
	<vv0352$2ur4q$1@dont-email.me> <vv0kpi$3djh5$1@dont-email.me>
	<vv13ro$3r3ei$1@dont-email.me> <vv160a$3smj7$1@dont-email.me>
	<vv18s7$3uer0$1@dont-email.me> <vv1b03$4a4k$2@dont-email.me>
	<vv1bav$3ra6l$7@dont-email.me> <vv1frt$97hp$1@dont-email.me>
	<vv1gfu$3ra6l$8@dont-email.me> <vv1js4$d4ik$1@dont-email.me>
	<-GOdnZvgEPn-84j1nZ2dnZfqn_SdnZ2d@brightview.co.uk>
	<vv5ih6$3vfls$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 3 May 2025 19:04:35 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2924258"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0

Am Sat, 03 May 2025 12:07:49 -0500 schrieb olcott:

> HHH determines whether or not DD would halt if HHH would have been a
> pure simulator.
Nobody cares about a non-input. In fact HHH is not a pure simulator
but aborts, and DD calls *that same* HHH.

> ChatGPT DOES understand hypothetical possibilities and does understand
> that HHH computes the termination status of its input on the basis of
> these hypothetical possibilities.
Only that is not what is asked of a halt decider.

-- 
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.