Groups | Search | Server Info | Login | Register
| Subject | Re: Termination Analyzer H is Not Fooled by Pathological Input D |
|---|---|
| Newsgroups | comp.theory, sci.logic, comp.ai.philosophy |
| References | (26 earlier) <u773pb$5964$1@dont-email.me> <CZElM.9389$L836.6281@fx47.iad> <u777gr$5kc5$1@dont-email.me> <5KFlM.11644$pHT8.3426@fx38.iad> <u779uv$5svr$1@dont-email.me> |
| From | Richard Damon <Richard@Damon-Family.org> |
| Message-ID | <usGlM.11645$pHT8.973@fx38.iad> (permalink) |
| Organization | Forte - www.forteinc.com |
| Date | 2023-06-24 14:19 -0400 |
Cross-posted to 3 groups.
On 6/24/23 1:42 PM, olcott wrote:
> On 6/24/2023 12:29 PM, Richard Damon wrote:
>> On 6/24/23 1:01 PM, olcott wrote:
>>> On 6/24/2023 11:37 AM, Richard Damon wrote:
>>>> On 6/24/23 11:57 AM, olcott wrote:
>>>>> On 6/24/2023 10:13 AM, Richard Damon wrote:
>>>>>> On 6/24/23 9:53 AM, olcott wrote:
>>>>>>> On 6/24/2023 6:16 AM, Richard Damon wrote:
>>>>>>>> On 6/23/23 10:44 PM, olcott wrote:
>>>>>>>>> On 6/23/2023 9:14 PM, Richard Damon wrote:
>>>>>>>>>> On 6/23/23 9:46 PM, olcott wrote:
>>>>>>>>>>> On 6/23/2023 8:32 PM, Richard Damon wrote:
>>>>>>>>>>>> Every TMD2 defines a correct answer, so the question is valid.
>>>>>>>>>>>
>>>>>>>>>>> Thus the question: "Are you a little girl?" must be false for
>>>>>>>>>>> everyone because the exact same word-for-word question is
>>>>>>>>>>> false for you.
>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> Nooe, because THAT question uses a pronoun to reference what
>>>>>>>>>> it is talking about, so the question veries based on who it is
>>>>>>>>>> said to.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> Referring every element of the infinite set of {TM1, TMD2}
>>>>>>>>> pairs such that TMD2 does the opposite of whatever Boolean
>>>>>>>>> value that TMD2 returns.
>>>>>>>>>
>>>>>>>>> Is the reason why no TM1 element of this set returns a value
>>>>>>>>> that corresponds to the behavior of its TMD2 input that each
>>>>>>>>> TMD2 element does the opposite of the value that this TM1
>>>>>>>>> element returns.
>>>>>>>>>
>>>>>>>>>
>>>>>>>>>
>>>>>>>>
>>>>>>>> Which means that you have proven it is impossible to make a
>>>>>>>> correct Halt Decider, not that the Halting Question is
>>>>>>>> self-contradictory.
>>>>>>>>
>>>>>>>> The problem is that since TMD2 changes in the set, there isn't a
>>>>>>>> single instance of the question in view.
>>>>>>>>
>>>>>>>
>>>>>>> I asked you a tautology and you disagreed.
>>>>>>
>>>>>> You asked a Red Herring, and I pointed it out.
>>>>>>
>>>>>
>>>>> I asked a tautology and you denied it.
>>>>>
>>>>>
>>>>
>>>> WHERE did I say that your statement was factually wrong verse point
>>>> out that it doesn't prove what you want it to?
>>>>
>>>> I think you don't understand what you read and write.
>>>>
>>>> Also, how do you "ASK" a tautology. A Tautology isn't a QUESTION,
>>>> but a STATEMENT.
>>>>
>>>> You seem to have category errors built into your brain.
>>>
>>> I asked you if a tautology is true and you denied it.
>>>
>>> It is like I asked you if all of the black cats in Australia are black
>>> and you said you don't know you have to check them one at a time.
>>>
>>>
>>
>> So, still unable to provide refernce to show you statements which are
>> just lies.
>>
>
> >>>>>>>> Referring every element of the infinite set of {TM1, TMD2}
> >>>>>>>> pairs such that TMD2 does the opposite of whatever Boolean
> >>>>>>>> value that TMD2 returns.
> >>>>>>>>
> >>>>>>>> Is the reason why no TM1 element of this set returns a value
> >>>>>>>> that corresponds to the behavior of its TMD2 input that each
> >>>>>>>> TMD2 element does the opposite of the value that this TM1
> >>>>>>>> element returns.
>
> Are all the black cats in Australia black?
>
>
So, what is the "Tautology" there? There is no STATEMENT that is always
true in every situation.
I guess you are just proving your ignorance.
Note, to this I replied:
>>>>>>>> Which means that you have proven it is impossible to make a
>>>>>>>> correct Halt Decider, not that the Halting Question is
>>>>>>>> self-contradictory.
>>>>>>>>
>>>>>>>> The problem is that since TMD2 changes in the set, there isn't a
>>>>>>>> single instance of the question in view.
So I didn't say the statement was FALSE, I said it didn't prove what you
wanted it to prove.
The fact that no TMD1 can exist that gives the right answer does NOT
mean the question is contradictory, but that the problem of designing a
halt decider is impossible.
Which EXACT question, including context, showed contradictory results.
Remember if you change TMD1, you change TMD2
Or, do you think the question "Are you a girl?" is a contradictory sentence.
GAME - SET - MATCH
You are proved to be a LIAR and an idiot that can't read normal English.
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar
Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-22 20:27 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-22 22:25 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-22 22:16 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 00:32 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 00:06 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 08:11 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 10:39 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 16:46 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 16:05 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 17:26 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 16:41 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 18:48 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 18:08 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 19:42 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 19:03 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 20:16 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 19:32 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 20:55 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 20:16 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 21:32 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 20:46 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 22:14 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 21:44 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 07:16 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 08:53 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 11:13 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 10:57 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 12:37 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 12:01 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 13:29 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 12:42 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 14:19 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 14:22 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 15:31 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 15:10 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 16:24 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 15:35 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 16:41 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 15:59 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 17:08 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 16:39 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 19:02 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 18:11 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 19:51 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 22:24 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-25 07:33 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-26 16:52 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-26 19:18 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-26 19:05 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-26 20:20 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-26 20:13 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-26 22:13 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-26 22:34 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-27 07:52 -0400
Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-27 11:27 -0500
Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-27 19:02 -0400
csiph-web