Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: wij <wyniijj5@gmail.com>
Newsgroups: comp.theory
Subject: Re: Philosophy of Computation: Three seem to agree how emulating
 termination analyzers are supposed to work
Date: Mon, 11 Nov 2024 21:28:05 +0800
Organization: A noiseless patient Spider
Lines: 54
Message-ID: <81538e7219ad4830505e67dd6123cc6f117e5b94.camel@gmail.com>
References: <vgr1gs$hc36$1@dont-email.me> <vgsq2j$v928$1@dont-email.me>
	 <b6e1fdc2e46b780c149c38580f82c6077f29b0a3.camel@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Injection-Date: Mon, 11 Nov 2024 14:28:07 +0100 (CET)
Injection-Info: dont-email.me; posting-host="9622cfba036e43b3b414f6aced5e2c6d";
	logging-data="1003647"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/SSS05pIaVjS/GLToFjSJn"
User-Agent: Evolution 3.50.2 (3.50.2-1.fc39)
Cancel-Lock: sha1:Gqv2pp2NQ68hoiyT6f9Uwe6CNaw=
In-Reply-To: <b6e1fdc2e46b780c149c38580f82c6077f29b0a3.camel@gmail.com>
Bytes: 3184

On Mon, 2024-11-11 at 21:09 +0800, wij wrote:
> On Mon, 2024-11-11 at 13:33 +0200, Mikko wrote:
> > OP says nothing aobut how emulationg termination analyzers are supposed=
 to
> > work. I think that is OK. Philosophers may have opinions about that but
> > the question is not really relevant for theorieticsl or practical purpo=
ses.
>=20
> Firstly, the HP is about the H that (If stated in C-function form, instea=
d of
> TM) that:
>=20
> H(P,P)=3D1 iff P(P) halts.
> H(P,P)=3D0 iff P(P) does not halts.
> =C2=A0=C2=A0=C2=A0=20
> Astray from this, it is not about the Halting Problem. HP is (almost) abo=
ut a
> real machine, whatever logic,formal proof,philosophy,... is not decisive.
>=20
> olcott is a psychotic liar. he reads lots of technical terms and would po=
st
> whatever he searched for you to head-ache (that is one of his trick), and=
=C2=A0
> pretending he is a learned genius. He simply knows nothing.
> E.g=C2=A0'halt' --> no precise meaning
> 'Godel's theorem' --> no (significant) contents
> 'completeness' --> no (significant) contents
> utm386 --> He can't construct TM for "1+2=3D3". He think his 'utm386' is =
an OS.
> C-language --> He needs debugger to understand, and took the complied ass=
embly=20
> as 'totology' of his proof.
> .... too many to list
> Most of all, olcott does not even understand the logical-IF !!!
>=20
> So, don't bother. olcott is a psychotic liar.
>=20
> > Anyone who wants to present or sell an emulating termination analyzer s=
hould
> > tell what that particular analyzer actually does.
>=20
> That's right.
> But, in POO logic, olcott is always correct... just not interesting. No n=
eed=C2=A0
> to argue (I though you and others engaged him for reasons).
>=20
> The HP simply does not exist. POOH cannot perform the function as stated =
above.
>=20

I just think about what I said about olcott, all symptoms might also applic=
able
to=C2=A0average people, so, 'idiot' (too stupid) may be more truthful.