Self Referential Undecidability Construed as Incorrect Questions

What is the basis for reason? And mathematics?

Moderators: AMod, iMod

User avatar
Sculptor
Posts: 8675
Joined: Wed Jun 26, 2019 11:32 pm

Re: Self Referential Undecidability Construed as Incorrect Questions

Post by Sculptor »

PeteOlcott wrote: Thu Oct 12, 2023 5:22 pm
Sculptor wrote: Thu Oct 12, 2023 5:05 pm
Will Jack's answer to this question be no?


Is not even a question that can be directed to Jack.
Sure it is. It would be more commonly phrased as
Will your answer to this question be no?
That is a different question.
And like the other one it is objectively meaningless.

Yet referring to Jack in the third person when speaking with
Jack is not semantically incorrect, it is merely unconventional.
It's rubbish
PeteOlcott
Posts: 1514
Joined: Mon Jul 25, 2016 6:55 pm

Re: Self Referential Undecidability Construed as Incorrect Questions

Post by PeteOlcott »

Skepdick wrote: Thu Oct 12, 2023 5:57 pm
PeteOlcott wrote: Thu Oct 12, 2023 5:38 pm
Skepdick wrote: Thu Oct 12, 2023 5:26 pm
I don't care about your proclamations.

Jack can answer "no" to the question. Why is this answer by Jack correct; or incorrect?
Jack can answer "yes" to the question. Why is this answer by Jack correct; or incorrect?
Olcott can answer "yes" to the question. Why is this answer by Olcott correct; or incorrect?
Olcott can answer "no" to the question. Why is this answer by Olcott correct; or incorrect?

You deceiptfully changed this question:
Can Jack correctly answer “no” to this question?

Here is the original PhD computer science professors answer:
Can Jack correctly answer “no” to this question?

Let's ask Jack. If he says “yes”, he's saying that “no” is the correct
answer for him, so “yes” is incorrect.

If he says “no”, he's saying that he cannot correctly answer “no”, which
is his answer. So both answers are incorrect. Jack cannot answer the
question correctly.
Bullshit.
Those were the words of a PhD computer science professor that has been
published several times in several very highly esteemed computer science journals.
Skepdick
Posts: 14504
Joined: Fri Jun 14, 2019 11:16 am

Re: Self Referential Undecidability Construed as Incorrect Questions

Post by Skepdick »

PeteOlcott wrote: Thu Oct 12, 2023 6:28 pm Those were the words of a PhD computer science professor that has been
published several times in several very highly esteemed computer science journals.
So what?

Ask him to translate his question in a query language.

https://en.wikipedia.org/wiki/Query_language

If the question is "incorrect" then the query parser should reject it on some grounds.
PeteOlcott
Posts: 1514
Joined: Mon Jul 25, 2016 6:55 pm

Re: Self Referential Undecidability Construed as Incorrect Questions

Post by PeteOlcott »

Skepdick wrote: Thu Oct 12, 2023 7:20 pm
PeteOlcott wrote: Thu Oct 12, 2023 6:28 pm Those were the words of a PhD computer science professor that has been
published several times in several very highly esteemed computer science journals.
So what?

Ask him to translate his question in a query language.

https://en.wikipedia.org/wiki/Query_language

If the question is "incorrect" then the query parser should reject it on some grounds.
I have already shown (in other posts in this forum) that an
isomorphic question posed to Prolog is rejected on the basis
that unify_with_occurs_check/2 recognizes that terms with
pathological self-reference must be rejected as invalid.

Can Carol correctly answer “no” to this question?
Any genius can easily tell that when Carol's question is
posed to Carol both "yes" and "no" are the wrong answer.
Last edited by PeteOlcott on Thu Oct 12, 2023 7:38 pm, edited 1 time in total.
Skepdick
Posts: 14504
Joined: Fri Jun 14, 2019 11:16 am

Re: Self Referential Undecidability Construed as Incorrect Questions

Post by Skepdick »

PeteOlcott wrote: Thu Oct 12, 2023 7:36 pm I have already shown that an isomorphic question posed to
Prolog is rejected on the basis that unify_with_occurs_check/2
recognizes that terms with pathological self-reference must
be rejected as invalid.

Can Carol correctly answer “no” to this question?
Any genius can easily tell that when Carol's question is
posed to Carol both "yes" and "no" are the wrong answer.
It depends on how you define the predicate "correctly"
PeteOlcott
Posts: 1514
Joined: Mon Jul 25, 2016 6:55 pm

Re: Self Referential Undecidability Construed as Incorrect Questions

Post by PeteOlcott »

Skepdick wrote: Thu Oct 12, 2023 7:38 pm
PeteOlcott wrote: Thu Oct 12, 2023 7:36 pm I have already shown that an isomorphic question posed to
Prolog is rejected on the basis that unify_with_occurs_check/2
recognizes that terms with pathological self-reference must
be rejected as invalid.

Can Carol correctly answer “no” to this question?
Any genius can easily tell that when Carol's question is
posed to Carol both "yes" and "no" are the wrong answer.
It depends on how you define the predicate "correctly"
Clearly you are not a genius or are pretending to be much
dumber than you are as an excuse to be disagreeable.
Skepdick
Posts: 14504
Joined: Fri Jun 14, 2019 11:16 am

Re: Self Referential Undecidability Construed as Incorrect Questions

Post by Skepdick »

PeteOlcott wrote: Thu Oct 12, 2023 7:40 pm Clearly you are not a genius or are pretending to be much
dumber than you are as an excuse to be disagreeable.
I am neither agreeing nor disagreeing.

I have no idea what your question means until you define the term "correctly".
PeteOlcott
Posts: 1514
Joined: Mon Jul 25, 2016 6:55 pm

Re: Self Referential Undecidability Construed as Incorrect Questions

Post by PeteOlcott »

Skepdick wrote: Thu Oct 12, 2023 7:57 pm
PeteOlcott wrote: Thu Oct 12, 2023 7:40 pm Clearly you are not a genius or are pretending to be much
dumber than you are as an excuse to be disagreeable.
I am neither agreeing nor disagreeing.

I have no idea what your question means until you define the term "correctly".
So you have no idea than when a yes/no (technically polar) question has a correct
answer of "no" and someone answers "yes" they they provided the wrong answer?

Are kittens a type of fifteen story office building?
The only correct answer is "no". Do you understand this?
Skepdick
Posts: 14504
Joined: Fri Jun 14, 2019 11:16 am

Re: Self Referential Undecidability Construed as Incorrect Questions

Post by Skepdick »

PeteOlcott wrote: Thu Oct 12, 2023 9:45 pm So you have no idea than when a yes/no (technically polar) question has a correct
answer of "no" and someone answers "yes" they they provided the wrong answer?
Why are you asking me this?!? You are the person who formulated the question!

Surely you know what you mean by "correct"?
PeteOlcott wrote: Thu Oct 12, 2023 9:45 pm Are kittens a type of fifteen story office building?
Maybe. Show me the type-definitions for both.
PeteOlcott wrote: Thu Oct 12, 2023 9:45 pm The only correct answer is "no".
Do you understand this?
No (the only correct answer).

Q.E.D
PeteOlcott
Posts: 1514
Joined: Mon Jul 25, 2016 6:55 pm

Re: Self Referential Undecidability Construed as Incorrect Questions

Post by PeteOlcott »

"This sentence is not true." is a self-contradictory expression
that an incorrect statement. The same reasoning equally applies
to self-contradictory questions.

When a yes/no question lacks a correct answer from the solution
set of {yes, no} then this is defined to be an incorrect question.

When a decider/input decision problem instance lacks a correct
Boolean return value from the decider then this is defined to be
an incorrect question for this decider.
Post Reply