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: sci.logic
Subject: Re: The key undecidable instance that I know about --- Truth-bearers ONLY
Date: Wed, 12 Mar 2025 12:39:19 +0200
Organization: -
Lines: 42
Message-ID: <vqro8n$2ifbi$1@dont-email.me>
References: <vqkib1$r5np$1@dont-email.me> <3b57384a57c71e1880fe3f1df975003c1d743c07@i2pn2.org> <vqksgr$sf7f$2@dont-email.me> <c2a4c70287c029f462d5579a8602746386f546fc@i2pn2.org> <vql4mq$uv13$1@dont-email.me> <9a2fbcc7a803bc91d320117f8c8e03e03799e9b3@i2pn2.org> <vqlmtf$11p4p$2@dont-email.me> <95ca0b344ae29f6911a73c655ddbe1c7214f8519@i2pn2.org> <vqo4ke$1l6i0$1@dont-email.me> <c5b83ef1ae7f77e3ff1fe97dcb557af5380c2ddd@i2pn2.org> <vqo7or$1l6i0$3@dont-email.me> <vqo8bf$1lehl$1@dont-email.me> <vqoac7$1lvqs$1@dont-email.me> <vqp4h7$1u7ri$1@dont-email.me> <vqqfsm$27b5f$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 12 Mar 2025 11:39:20 +0100 (CET)
Injection-Info: dont-email.me; posting-host="4800ed2580b521525ad65aa6595e0d98";
	logging-data="2702706"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/XQlvHGYlFh6ppyzjXlMgS"
User-Agent: Unison/2.2
Cancel-Lock: sha1:Gxb5rCzFimYJC3i6w2TUTi788Eg=
Bytes: 2784

On 2025-03-11 23:10:14 +0000, olcott said:

> On 3/11/2025 5:50 AM, Mikko wrote:
>> On 2025-03-11 03:23:51 +0000, olcott said:
>> 
>>> 
>>> It may seem that way if you fail to understand
>>> Clocksin & Mellish explanation of
>>> 
>>> Most Prolog systems will allow you to
>>> satisfy goals like:
>>>    equal(X, X).
>>>    ?- equal(foo(Y), Y).
>>> 
>>> that is, they will allow you to match a
>>> term against an uninstantiated subterm of itself.
>>> 
>>> ON PAGE 3
>>> https://www.researchgate.net/ 
>>> publication/350789898_Prolog_detects_and_rejects_pathological_self_reference_in_the_Godel_sentence 
>>> 
>> 
>> That you can quote some text but don't say anything about it supports the
>> hypthesis that you don't understand the text you quoted.
> 
> *That you keep ignoring it is either stupid or dishonest*

What is that "it" intended to mean?

>     As a result, Y will stand forfoo(Y), which is
>     foo(foo(Y)) (because of what Y stands for),
>     which is foo(foo(foo(Y))), and so on. So Y ends
>     up standing for some kind of infinite structure.

Your quote is insufficient as the word "result" refers to someting
unquoted and does not mean anything without some context.

Anyway, the quote has no relevance to anything I said in the previous post.

-- 
Mikko