Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy
Date: Mon, 24 Feb 2025 10:41:40 +0200
Organization: -
Lines: 23
Message-ID: <vphbc4$10f14$1@dont-email.me>
References: <vo6420$3mpmf$1@dont-email.me> <vo7be3$jug$1@dont-email.me> <vo7r8d$36ra$3@dont-email.me> <vo9ura$i5ha$1@dont-email.me> <voahc5$m3dj$8@dont-email.me> <vocdo9$14kc0$1@dont-email.me> <vocpl7$16c4e$4@dont-email.me> <vof56u$1n9k0$1@dont-email.me> <vofnj2$1qh2r$2@dont-email.me> <vohrmi$29f46$1@dont-email.me> <vojs0e$2oikq$4@dont-email.me> <vokdha$2rcqi$1@dont-email.me> <vom1fr$34osr$1@dont-email.me> <ee9d41d5f1c2a8dd8ff44d3ddeee20d2c3bcccc1@i2pn2.org> <vomgd8$3anm4$2@dont-email.me> <f5d6cbae83eb89e411d76d1d9ca801ef2678cec2@i2pn2.org> <voojl9$3mdke$2@dont-email.me> <855e571c6668207809e1eb67138de6af48d164fa@i2pn2.org> <vorlqp$aet5$2@dont-email.me> <e174ca1c1cbc58c67ffae3b67b69f63f21a82f86@i2pn2.org> <vp69r4$2mdtr$1@dont-email.me> <8fa176d46bf5b8c36def9e32ced67a1a3f81bae1@i2pn2.org> <vpbhrk$3mfi7$1@dont-email.me> <2e999502c40f736a3f3579d23bdb2b42dc74e897@i2pn2.org> <vpcurc$irt$5@dont-email.me> <vpeu9s$fd8k$1@dont-email.me> <vpfm9i$j7qb$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 24 Feb 2025 09:41:40 +0100 (CET)
Injection-Info: dont-email.me; posting-host="b8f19db9a2f6094dff4fec67edf03810";
	logging-data="1063972"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19jWW08KKiTaD4hs5YF4D31"
User-Agent: Unison/2.2
Cancel-Lock: sha1:BBEBhBp5Eqd2jsFxmXidctALJyY=
Bytes: 2606

On 2025-02-23 17:35:46 +0000, olcott said:

> On 2/23/2025 4:46 AM, Mikko wrote:
>> On 2025-02-22 16:43:24 +0000, olcott said:
>> 
>>> My proof is very important because it provides the key
>>> basis for a chat bot that can spot and perfectly refute
>>> lies in real time. This could save the planet and save
>>> Democracy.
>> 
>> Unlikely to work if you let the chat bot to assume or infer
>> that false <-> true.
> 
> When its knowledge is correctly encoded it would never make
> that stupid mistake.

If you build the bot from a proof that implies that true <-> false
then it is hard to avoid that "mistake". But you may be right that
in that case the knowledge of the bot will not be correcly encoded.

-- 
Mikko