Path: ...!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Is Richard a Liar?
Date: Sun, 12 May 2024 18:21:43 +0300
Organization: -
Lines: 27
Message-ID: <v1qmq8$2prs6$1@dont-email.me>
References: <v18e32$1vbql$1@dont-email.me> <v1di1h$3b2m5$1@dont-email.me> <v1dtdv$3dqg4$1@dont-email.me> <v1du2i$3dt7u$1@dont-email.me> <v1fetd$3s7jo$1@dont-email.me> <v1ft42$3vdau$2@dont-email.me> <-5Gdnf-nQvstC6b7nZ2dnZfqnPadnZ2d@brightview.co.uk> <v1gid8$4ilc$1@dont-email.me> <v1h9eu$9faf$1@dont-email.me> <v1iqli$nsva$1@dont-email.me> <v1k0ts$iuna$1@i2pn2.org> <v1k381$14mbi$2@dont-email.me> <v1labh$kf53$1@i2pn2.org> <v1lfnq$1e7af$1@dont-email.me> <v1lh1g$kf52$4@i2pn2.org> <v1lmo1$1g1mj$1@dont-email.me> <v1luu1$lbo5$3@i2pn2.org> <v1lvuo$1i47i$1@dont-email.me> <v1m1bf$lbo5$4@i2pn2.org> <v1m2hc$1ijhr$1@dont-email.me> <v1m31m$lbo4$1@i2pn2.org> <v1m4et$1iv85$1@dont-email.me> <v1m5co$lbo4$2@i2pn2.org> <v1m71h$1jnpi$1@dont-email.me> <v1m7mh$lbo5$5@i2pn2.org> <v1mb8f$1kgpl$1@dont-email.me> <v1mkf8$lbo5$7@i2pn2.org> <v1mkmm$1q5ee$1@dont-email.me> <v1na6f$1ugl0$1@dont-email.me> <v1o67n$24f4c$1@dont-email.me> <v1q1ie$2l40t$1@dont-email.me> <v1q9fp$qb0p$1@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 12 May 2024 17:21:44 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a20c66d1acddb89f66ce6a114e43c315";
	logging-data="2944902"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/padAZE/ZyM0O77W9N3GD3"
User-Agent: Unison/2.2
Cancel-Lock: sha1:96xQ6Ix/KoRXichMYuUDy6Wa3YQ=
Bytes: 2665

On 2024-05-12 11:34:17 +0000, Richard Damon said:

> On 5/12/24 5:19 AM, Mikko wrote:
>> On 2024-05-11 16:26:30 +0000, olcott said:
>> 
>>> I am working on providing an academic quality definition of this
>>> term.
>> 
>> The definition in Wikipedia is good enough.
>> 
> 
> I think he means, he is working on a definition that redefines the 
> field to allow him to claim what he wants.

Here one can claim whatever one wants anysay.
In if one wants to present ones claims on some significant forum then
it is better to stick to usual definitions as much as possible.

> Sort of like his new definition of H as an "unconventional" machine 
> that some how both returns an answer but also keeps on running.

There are systems where that is possible but unsolvable problems are
unsolvable even in those systems.

-- 
Mikko