Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

All science is either physics or stamp collecting. -- Ernest Rutherford


devel / comp.lang.prolog / Re: Is this correct Prolog?

SubjectAuthor
* Is this correct Prolog?olcott
+* Is this correct Prolog?Mikko
|+* Is this correct Prolog?Aleksy Grabowski
||+* Is this correct Prolog?olcott
|||`* Is this correct Prolog?Mikko
||| `- Is this correct Prolog?olcott
||`* Is this correct Prolog?Mikko
|| `* Is this correct Prolog?olcott
||  `* Is this correct Prolog?Richard Damon
||   `* Is this correct Prolog?olcott
||    `* Is this correct Prolog?Richard Damon
||     `* Is this correct Prolog?olcott
||      `- Is this correct Prolog?Richard Damon
|`* Is this correct Prolog?olcott
| `* Is this correct Prolog?Mikko
|  `* Is this correct Prolog?olcott
|   `* Is this correct Prolog?Richard Damon
|    `* Is this correct Prolog?olcott
|     `* Is this correct Prolog?Richard Damon
|      `* Is this correct Prolog?olcott
|       `- Is this correct Prolog?Richard Damon
`* Is this correct Prolog?Richard Damon
 +* Is this correct Prolog?olcott
 |`* Is this correct Prolog?Richard Damon
 | `* Is this correct Prolog?olcott
 |  `* Is this correct Prolog?Richard Damon
 |   `* Is this correct Prolog?olcott
 |    `* Is this correct Prolog?Richard Damon
 |     `* Is this correct Prolog?olcott
 |      +* Is this correct Prolog?Jeff Barnett
 |      |+* Is this correct Prolog?olcott
 |      ||`- Is this correct Prolog?Richard Damon
 |      |`* Is this correct Prolog?Mr Flibble
 |      | +- Is this correct Prolog?polcott
 |      | +- Is this correct Prolog?Richard Damon
 |      | `- Is this correct Prolog?Jeff Barnett
 |      +* Is this correct Prolog?Mikko
 |      |`* Is this correct Prolog?olcott
 |      | `* Is this correct Prolog?Richard Damon
 |      |  `* Is this correct Prolog?olcott
 |      |   `- Is this correct Prolog?Richard Damon
 |      `* Is this correct Prolog?Richard Damon
 |       `* Is this correct Prolog?olcott
 |        `- Is this correct Prolog?Richard Damon
 `* Is this correct Prolog?olcott
  `* Is this correct Prolog?olcott
   +* Is this correct Prolog?olcott
   |`* Is this correct Prolog?olcott
   | `- Is this correct Prolog?olcott
   `* Is this correct Prolog?olcott
    `- Is this correct Prolog?André G. Isaak

Pages:123
Re: Is this correct Prolog?

<hYKdnb4ZyYB0RfP_nZ2dnUU7_83NnZ2d@giganews.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=10116&group=comp.lang.prolog#10116

  copy link   Newsgroups: comp.theory comp.ai.philosophy comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sun, 01 May 2022 14:00:57 -0500
Date: Sun, 1 May 2022 14:00:56 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.8.1
Subject: Re: Is this correct Prolog?
Content-Language: en-US
Newsgroups: comp.theory,comp.ai.philosophy,comp.lang.prolog
References: <qcOdndRse-RjQ_H_nZ2dnUU7_83NnZ2d@giganews.com>
<I4lbK.452483$t2Bb.96330@fx98.iad>
<UOGdnc__htYie_D_nZ2dnUU7_83NnZ2d@giganews.com> <t4kp78$vuc$1@dont-email.me>
<EKKdnasbsInXjPP_nZ2dnUU7_83NnZ2d@giganews.com> <t4l65c$bqr$1@dont-email.me>
<lI-dnepDd-0n7PP_nZ2dnUU7_8zNnZ2d@giganews.com> <t4m2b2$kmn$1@dont-email.me>
<AuqdnTWXMZYFLfP_nZ2dnUU7_8xh4p2d@giganews.com> <t4mc2l$2q2$2@dont-email.me>
<FdSdnWijBKlSIfP_nZ2dnUU7_8xh4p2d@giganews.com>
<20220501185933.000045ad@reddwarf.jmc>
<d9KdnQdt_bnfTPP_nZ2dnUU7_8zNnZ2d@giganews.com> <t4mjq0$7nf$1@dont-email.me>
From: NoO...@NoWhere.com (olcott)
In-Reply-To: <t4mjq0$7nf$1@dont-email.me>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <hYKdnb4ZyYB0RfP_nZ2dnUU7_83NnZ2d@giganews.com>
Lines: 62
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-wEOGexVS+WMXhB6RdL3bVJ92RK5glgbQ0DMFCvQf0bLcBO7U3qJj+a0xYtQQFZejBb0+M1Zci/IOoT8!/zoaSYpHVqFYovZul+2lC+fHdwXgsVPV+Qn/9pWaiK/qJ227m+GbChVY2arnRSPPOOxGli9m4Rw=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 3934
 by: olcott - Sun, 1 May 2022 19:00 UTC

On 5/1/2022 1:33 PM, André G. Isaak wrote:
> On 2022-05-01 12:28, olcott wrote:
>> On 5/1/2022 12:59 PM, Mr Flibble wrote:
>>> On Sun, 1 May 2022 12:01:01 -0500
>>> olcott <NoOne@NoWhere.com> wrote:
>>>
>>>> On 5/1/2022 11:21 AM, André G. Isaak wrote:
>>>>> On 2022-05-01 10:08, olcott wrote:
>>>>>
>>>>> <snip>
>>>>>
>>>>> Why are you making the same reply twice under two different
>>>>> handles? A single reply should suffice.
>>>>>
>>>>> André
>>>>
>>>> I wanted Flibble to see what I said. He may have me on Plonk
>>> You are not in my kill file: I don't always reply to what you say
>>> because I either agree with what you are saying or the point is
>>> uninteresting to me.
>>>
>>> /Flibble
>>>
>>
>> I do think that your idea of "category error" is a brilliant new
>> insight into pathological self-reference problems such as:
>> (1) The Halting Problem proofs
>> (2) Gödel's 1930 Incompleteness
>> (3) The 1936 Undefinability theorem
>>
>> It very succinctly sums up the entire gist of the semantic error in
>> all of these cases. When it is summed up so effectively it becomes
>> much easier to see exactly what is going on. I have said that it is a
>> semantic error, you pointed out exactly what kind of semantic error.
>
> So which categories are you claiming are involved? Claiming something is
> a 'category error' means nothing if you don't specify the actual
> categories involved.
>
> André
>

My original thinking was that (1) and (2) and the Liar Paradox all
demonstrate the exact same error. I only have considered (3) in recent
years, prior to that I never heard of (3).

The category error would be that none of them is in the category of
truth bearers. For Gödel's G and Tarski's p it would mean that the
category error is that G and p are not logic sentences.
https://en.wikipedia.org/wiki/Sentence_(mathematical_logic)

https://liarparadox.org/Tarski_275_276.pdf

My current thinking on (1) is that a TM is smart enough to see this
issue and report on it.

--
Copyright 2022 Pete Olcott

"Talent hits a target no one else can hit;
Genius hits a target no one else can see."
Arthur Schopenhauer


devel / comp.lang.prolog / Re: Is this correct Prolog?

Pages:123
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor