Re: Mathematical incompleteness has always been a misconception --- Tarski

Liste des GroupesRevenir à s logic 
Sujet : Re: Mathematical incompleteness has always been a misconception --- Tarski
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : sci.logic
Date : 06. Mar 2025, 00:41:04
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <ca3e1fdecb23a3bb1ea84013f7a5c31df3694f86@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
User-Agent : Mozilla Thunderbird
On 3/5/25 9:25 AM, olcott wrote:
On 3/4/2025 10:59 PM, Richard Damon wrote:
On 3/4/25 9:25 PM, olcott wrote:
On 3/4/2025 5:45 PM, Richard Damon wrote:
On 3/4/25 9:47 AM, olcott wrote:
On 3/4/2025 6:29 AM, Richard Damon wrote:
On 3/3/25 10:24 PM, olcott wrote:
On 3/3/2025 7:07 PM, Richard Damon wrote:
On 3/3/25 7:38 PM, olcott wrote:
On 3/3/2025 9:05 AM, Mikko wrote:
On 2025-03-01 19:42:50 +0000, olcott said:
>
On 3/1/2025 2:37 AM, Mikko wrote:
On 2025-02-28 21:58:34 +0000, olcott said:
>
On 2/28/2025 3:56 AM, Mikko wrote:
On 2025-02-26 14:42:23 +0000, olcott said:
>
On 2/26/2025 3:12 AM, Mikko wrote:
On 2025-02-25 21:07:31 +0000, olcott said:
>
On 2/25/2025 9:27 AM, Mikko wrote:
On 2025-02-24 21:31:26 +0000, olcott said:
>
On 2/24/2025 2:51 AM, Mikko wrote:
On 2025-02-22 17:24:59 +0000, olcott said:
>
On 2/22/2025 3:12 AM, Mikko wrote:
On 2025-02-21 23:22:23 +0000, olcott said:
>
On 2/20/2025 3:01 AM, Mikko wrote:
On 2025-02-18 13:50:22 +0000, olcott said:
>
There is nothing like that in the following concrete example:
LP := ~True(LP)
>
In other words you are saying the Prolog is incorrect
to reject the Liar Paradox.
>
Above translated to Prolog
>
?- LP = not(true(LP)).
LP = not(true(LP)).
>
According to Prolog rules LP = not(true(LP)) is permitted to fail.
If it succeeds the operations using LP may misbehave. A memory
leak is also possible.
>
?- unify_with_occurs_check(LP, not(true(LP))).
false
>
This merely means that the result of unification would be that LP conains
itself. It could be a selmantically valid result but is not in the scope
of Prolog language.
>
>
It does not mean that. You are wrong.
>
It does in the context where it was presented. More generally,
unify_with_occurs_check also fails if the arguments are not
unfiable. But this possibility is already excluded by their
successfull unification.
>
IT CANNOT POSSIBLY BE SEMANTICALLY VALID
>
Of course it is. Its semantics is well defined by the Prolog standard.
>
Go freaking read the Clocksin and Mellish.
an "infinite term" means NOT SEMANTICALLY VALID.
>
Prolog does not define any semantics other than the execution semantics
of a prolog program. Therefore no data structure has any own semantics.
>
The result of the exectution of an instruction like LP == not(true(LP))
is not fully defined by the standard so we may say that that instruction
is semantically invalid.
>
>
When we ask for Prolog to determine whether an expression
in Prolog is true according to its facts and rules and the
evaluation of the expression gets stuck in an infinite loop
then this expression IS SEMANTICALLY INCORRECT.
>
Which is not done anywhere above.
>
>
In other words you can't remember things that I said
a few messages ago and I have to endlessly repeat everything
every time?
>
Is this just an instance or your favorite sin? If not, what do you think
I didn't remember?
>
page 3 has the liar paradox and the Cloksin & Mellish Quote
https://www.researchgate.net/ publication/350789898_Prolog_detects_and_rejects_pathological_self_reference_in_the_Godel_sentence
>
It just says that your prolog system is defective as it does not reject
your LP = not(true(LP)). The Prolog standard says that this operation may
but need not fail. It also cortectly says that
 LP = not(true(LP)), write(LP)
would not work.
>
There is no "need not fail" Clocksin and Mellish says
impossible to succeed (paraphrase).
>
No, that is not said. In a footnote they say that the behaviour is undefined,
i.e., an implementation may choose what to do. They do say that a typical
implementation does not fail, which implies "need not fail".
>
More precisely it says that there is a cycle in the
directed graph of the evaluation sequence of the expression.
>
Assuming that the unification does not fail.
>
That you fail to understands that the following means this
is your lack of understanding not my mistake.
>
?- LP = not(true(LP)).
LP = not(true(LP)).
>
It means that the pariticular implementation you used exploited the
"need not fail" permission, producing a cycle in the data structure.
>
?- unify_with_occurs_check(LP, not(true(LP))).
false.
>
For this operation there is no "need not fail". The standard specifies that
the operation must fail.
>
Because the Prolog Liar Paradox has an “uninstantiated subterm of itself” we can know that unification will fail because it specifies “some kind of infinite structure.”
>
Wrong. You above said that the unification LP = not(true(LP)) did not
fail. It may fail on another implementation but that is not required.
>
Go back and read the Clocksin and Mellish example and quote on
the same page until you totally understand it. You only need
example the yellow highlighted text.
>
The supreme authority is not Clocksin and Mellish but ISO/ IEC 13211.
>
Clocksin and Mellish concretely show the result of the
infinitely recursive structure of their concrete example.
>
Irrelevant.
>
>
Your above replies prove that you do not understand this
thus cannot correctly say that it is irrelevant.
>
Prolog determines that all expressions that are
isomorphic to their concrete example are semantically
incorrect because these expressions have an infinitely
recursive structure.
>
>
>
>
In the logic that Prolog supports, which is very limited.
>
No that is not it. You don't seem to understand
the idea that an infinite loop is an error.
>
No, an infinite loop is NOT and error for determining truth, it would be for a proof.
>
>
For instance, the fact that G is made true by the infinite loop of testing with a finite test for EVERY Natural Number,
>
The infinite loop prevents any testing from being performed
LP := ~True(LP)  specifies: ~True(~True(~True(~True(~True(~True(...))))))
As Clocksin and Mellish show on their example.
>
>
Nope. Because the concept of that substitution is just invalid.
>
>
Ignoring Closksin and Mellish is a dishonest rebuttal
>
>
Closksin and Mellish are talking PROLOG, not LOGIC.
>
 They are talking about a specific generic logical an anomaly
that applies to the entire class of decision problems having
pathological self-reference they are using Prolog to make their
explanation concrete.
Which isn't the class of problems we are talking about.

 If you do not understand then that it means this then you
are not paying enough. Because I created Minimal Type Theory
to detect this same generic anomaly as a cycle in the directed
graph of the evaluation sequence of an expression I have a
complete basis for my understanding of the C&M text.
 I  will post links abut MTT as needed.
 
No, it just shows that YOU don't understand what they are talkking about.

Date Sujet#  Auteur
31 Jan 25 * Mathematical incompleteness has always been a misconception437olcott
31 Jan 25 +* Re: Mathematical incompleteness has always been a misconception19Richard Damon
31 Jan 25 i`* Re: Mathematical incompleteness has always been a misconception18olcott
31 Jan 25 i `* Re: Mathematical incompleteness has always been a misconception17Richard Damon
31 Jan 25 i  `* Re: Mathematical incompleteness has always been a misconception16olcott
31 Jan 25 i   `* Re: Mathematical incompleteness has always been a misconception15Richard Damon
31 Jan 25 i    `* Re: Mathematical incompleteness has always been a misconception14olcott
1 Feb 25 i     `* Re: Mathematical incompleteness has always been a misconception13Richard Damon
1 Feb 25 i      `* Re: Mathematical incompleteness has always been a misconception12olcott
1 Feb 25 i       `* Re: Mathematical incompleteness has always been a misconception11Richard Damon
1 Feb 25 i        `* Re: Mathematical incompleteness has always been a misconception10olcott
1 Feb 25 i         `* Re: Mathematical incompleteness has always been a misconception9Richard Damon
3 Feb 25 i          +* Re: Mathematical incompleteness has always been a misconception6olcott
4 Feb 25 i          i`* Re: Mathematical incompleteness has always been a misconception5Richard Damon
5 Feb 25 i          i `* Re: Mathematical incompleteness has always been a misconception4olcott
5 Feb 25 i          i  `* Re: Mathematical incompleteness has always been a misconception3Richard Damon
5 Feb 25 i          i   `* Re: Mathematical incompleteness has always been a misconception2olcott
6 Feb 25 i          i    `- Re: Mathematical incompleteness has always been a misconception1Richard Damon
3 Feb 25 i          `* Re: Mathematical incompleteness has always been a misconception [CORRECTION]2olcott
4 Feb 25 i           `- Re: Mathematical incompleteness has always been a misconception [CORRECTION]1Richard Damon
31 Jan 25 `* Re: Mathematical incompleteness has always been a misconception417Mikko
31 Jan 25  `* Re: Mathematical incompleteness has always been a misconception416olcott
31 Jan 25   +- Re: Mathematical incompleteness has always been a misconception1Richard Damon
1 Feb 25   `* Re: Mathematical incompleteness has always been a misconception414Mikko
1 Feb 25    `* Re: Mathematical incompleteness has always been a misconception413olcott
1 Feb 25     +- Re: Mathematical incompleteness has always been a misconception1Richard Damon
2 Feb 25     `* Re: Mathematical incompleteness has always been a misconception411Mikko
3 Feb 25      `* Re: Mathematical incompleteness has always been a misconception410olcott
3 Feb 25       +* Re: Mathematical incompleteness has always been a misconception408Mikko
3 Feb 25       i`* Re: Mathematical incompleteness has always been a misconception407olcott
4 Feb 25       i `* Re: Mathematical incompleteness has always been a misconception406Mikko
4 Feb 25       i  `* Re: Mathematical incompleteness has always been a misconception405olcott
5 Feb 25       i   `* Re: Mathematical incompleteness has always been a misconception404Mikko
5 Feb 25       i    `* Re: Mathematical incompleteness has always been a misconception403olcott
6 Feb 25       i     +- Re: Mathematical incompleteness has always been a misconception1Richard Damon
6 Feb 25       i     `* Re: Mathematical incompleteness has always been a misconception401Mikko
6 Feb 25       i      `* Re: Mathematical incompleteness has always been a misconception --- Tarski400olcott
6 Feb 25       i       +- Re: Mathematical incompleteness has always been a misconception --- Tarski1Richard Damon
7 Feb 25       i       `* Re: Mathematical incompleteness has always been a misconception --- Tarski398Mikko
7 Feb 25       i        `* Re: Mathematical incompleteness has always been a misconception --- Tarski397olcott
8 Feb 25       i         `* Re: Mathematical incompleteness has always been a misconception --- Tarski396Mikko
8 Feb 25       i          `* Re: Mathematical incompleteness has always been a misconception --- Tarski395olcott
8 Feb 25       i           +* Re: Mathematical incompleteness has always been a misconception --- Tarski24Ross Finlayson
8 Feb 25       i           i+- Re: Mathematical incompleteness has always been a misconception --- Tarski --- YES !!!1olcott
9 Feb 25       i           i`* Re: Mathematical incompleteness has always been a misconception --- Tarski22Julio Di Egidio
9 Feb 25       i           i `* Re: Mathematical incompleteness has always been a misconception --- Tarski21olcott
9 Feb 25       i           i  `* Re: Mathematical incompleteness has always been a misconception --- Tarski20Richard Damon
9 Feb 25       i           i   `* Re: Mathematical incompleteness has always been a misconception --- Tarski19olcott
10 Feb 25       i           i    +* Re: Mathematical incompleteness has always been a misconception --- Tarski11Richard Damon
10 Feb 25       i           i    i`* Re: Mathematical incompleteness has always been a misconception --- Tarski10olcott
10 Feb 25       i           i    i `* Re: Mathematical incompleteness has always been a misconception --- Tarski9Richard Damon
10 Feb 25       i           i    i  `* Re: Mathematical incompleteness has always been a misconception --- Tarski8olcott
10 Feb 25       i           i    i   `* Re: Mathematical incompleteness has always been a misconception --- Tarski7Richard Damon
10 Feb 25       i           i    i    `* Re: Mathematical incompleteness has always been a misconception --- Tarski6olcott
11 Feb 25       i           i    i     +- Re: Mathematical incompleteness has always been a misconception --- Tarski1Richard Damon
11 Feb 25       i           i    i     `* Re: Mathematical incompleteness has always been a misconception --- Tarski4Mikko
11 Feb 25       i           i    i      +* Re: Mathematical incompleteness has always been a misconception --- Tarski2olcott
12 Feb 25       i           i    i      i`- Re: Mathematical incompleteness has always been a misconception --- Tarski1Mikko
11 Feb 25       i           i    i      `- Re: Mathematical incompleteness has always been a misconception --- Tarski1Ross Finlayson
11 Feb 25       i           i    `* Re: Mathematical incompleteness has always been a misconception --- Tarski7Ross Finlayson
11 Feb 25       i           i     +* Re: Mathematical incompleteness has always been a misconception --- Tarski3olcott
11 Feb 25       i           i     i`* Re: Mathematical incompleteness has always been a misconception --- Tarski2Ross Finlayson
12 Feb 25       i           i     i `- Re: Mathematical incompleteness has always been a misconception --- Tarski1Ross Finlayson
11 Feb 25       i           i     `* Re: Mathematical incompleteness has always been a misconception --- Tarski3Julio Di Egidio
11 Feb 25       i           i      `* Re: Mathematical incompleteness has always been a misconception --- Tarski2Ross Finlayson
12 Feb 25       i           i       `- Re: Mathematical incompleteness has always been a misconception --- Tarski1Julio Di Egidio
8 Feb 25       i           +* Re: Mathematical incompleteness has always been a misconception --- Tarski7Richard Damon
9 Feb 25       i           i`* Re: Mathematical incompleteness has always been a misconception --- Tarski6olcott
9 Feb 25       i           i `* Re: Mathematical incompleteness has always been a misconception --- Tarski5Richard Damon
9 Feb 25       i           i  `* Re: Mathematical incompleteness has always been a misconception --- Tarski4olcott
9 Feb 25       i           i   `* Re: Mathematical incompleteness has always been a misconception --- Tarski3Richard Damon
9 Feb 25       i           i    `* Re: Mathematical incompleteness has always been a misconception --- Tarski + HP2olcott
9 Feb 25       i           i     `- Re: Mathematical incompleteness has always been a misconception --- Tarski + HP1Richard Damon
9 Feb 25       i           `* Re: Mathematical incompleteness has always been a misconception --- Tarski363Mikko
9 Feb 25       i            +* Re: Mathematical incompleteness has always been a misconception --- Tarski359Richard Damon
10 Feb 25       i            i`* Re: Mathematical incompleteness has always been a misconception --- Tarski358Mikko
10 Feb 25       i            i `* Re: Mathematical incompleteness has always been a misconception --- Tarski357olcott
10 Feb 25       i            i  +- Re: Mathematical incompleteness has always been a misconception --- Tarski1Richard Damon
11 Feb 25       i            i  `* Re: Mathematical incompleteness has always been a misconception --- Tarski355Mikko
11 Feb 25       i            i   +* Re: Mathematical incompleteness has always been a misconception --- Tarski353olcott
12 Feb 25       i            i   i+* Re: Mathematical incompleteness has always been a misconception --- Tarski3Richard Damon
13 Feb 25       i            i   ii`* Re: Mathematical incompleteness has always been a misconception --- Tarski2olcott
13 Feb 25       i            i   ii `- Re: Mathematical incompleteness has always been a misconception --- Tarski1Richard Damon
12 Feb 25       i            i   i`* Re: Mathematical incompleteness has always been a misconception --- Tarski349Mikko
18 Feb 25       i            i   i `* Re: Mathematical incompleteness has always been a misconception --- Tarski348olcott
18 Feb 25       i            i   i  +* Re: Mathematical incompleteness has always been a misconception --- Tarski39Richard Damon
18 Feb 25       i            i   i  i`* Re: Mathematical incompleteness has always been a misconception --- Tarski38olcott
20 Feb 25       i            i   i  i `* Re: Mathematical incompleteness has always been a misconception --- Tarski37Mikko
22 Feb 25       i            i   i  i  `* Re: Mathematical incompleteness has always been a misconception --- Tarski36olcott
22 Feb 25       i            i   i  i   +- Re: Mathematical incompleteness has always been a misconception --- Tarski1Richard Damon
22 Feb 25       i            i   i  i   `* Re: Mathematical incompleteness has always been a misconception --- Tarski34Mikko
22 Feb 25       i            i   i  i    `* Re: Mathematical incompleteness has always been a misconception --- Tarski33olcott
23 Feb 25       i            i   i  i     +- Re: Mathematical incompleteness has always been a misconception --- Tarski1Richard Damon
24 Feb 25       i            i   i  i     `* Re: Mathematical incompleteness has always been a misconception --- Tarski31Mikko
24 Feb 25       i            i   i  i      `* Re: Mathematical incompleteness has always been a misconception --- Tarski30olcott
25 Feb 25       i            i   i  i       `* Re: Mathematical incompleteness has always been a misconception --- Tarski29Mikko
25 Feb 25       i            i   i  i        `* Re: Mathematical incompleteness has always been a misconception --- Tarski28olcott
26 Feb 25       i            i   i  i         `* Re: Mathematical incompleteness has always been a misconception --- Tarski27Mikko
26 Feb 25       i            i   i  i          `* Re: Mathematical incompleteness has always been a misconception --- Tarski26olcott
28 Feb 25       i            i   i  i           `* Re: Mathematical incompleteness has always been a misconception --- Tarski25Mikko
28 Feb 25       i            i   i  i            `* Re: Mathematical incompleteness has always been a misconception --- Tarski24olcott
20 Feb 25       i            i   i  `* Re: Mathematical incompleteness has always been a misconception --- Tarski308Mikko
11 Feb 25       i            i   `- Re: Mathematical incompleteness has always been a misconception --- Tarski1Ross Finlayson
9 Feb 25       i            `* Re: Mathematical incompleteness has always been a misconception --- Tarski3olcott
4 Feb 25       `- Re: Mathematical incompleteness has always been a misconception1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal