Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| Subject | Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] |
|---|---|
| Newsgroups | comp.theory |
| References | (16 earlier) <FJWdnaiuhYG4T-P_nZ2dnUU7_81QAAAA@giganews.com> <XBAfK.1465$j0D5.353@fx09.iad> <FNudnQpo7sTlS-P_nZ2dnUU7_8xh4p2d@giganews.com> <PwBfK.8352$Yfl6.6562@fx41.iad> <zaWdnfMK_d2oeOP_nZ2dnUU7_81g4p2d@giganews.com> |
| From | Richard Damon <Richard@Damon-Family.org> |
| Message-ID | <DIBfK.9401$pqKf.630@fx12.iad> (permalink) |
| Organization | Forte - www.forteinc.com |
| Date | 2022-05-13 19:20 -0400 |
On 5/13/22 7:09 PM, olcott wrote: > On 5/13/2022 6:07 PM, Richard Damon wrote: >> On 5/13/22 6:06 PM, olcott wrote: >>> On 5/13/2022 5:04 PM, Richard Damon wrote: >>>> On 5/13/22 5:48 PM, olcott wrote: >>>>> On 5/13/2022 4:22 PM, Richard Damon wrote: >>>>>> On 5/13/22 4:22 PM, olcott wrote: >>>>>>> On 5/13/2022 3:11 PM, Richard Damon wrote: >>>>>>>> On 5/13/22 3:24 PM, olcott wrote: >>>>>>>>> On 5/13/2022 2:06 PM, Ben wrote: >>>>>>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>>>>>> >>>>>>>>>>> On 5/13/2022 6:05 AM, Ben wrote: >>>>>>>>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>>>>>>>> >>>>>>>>>>>>> All of my studies of Gödel 1931, Tarski 1936, the HP and >>>>>>>>>>>>> the Liar >>>>>>>>>>>>> Paradox have been concrete proxies for my study of the >>>>>>>>>>>>> philosophical >>>>>>>>>>>>> foundation of analytical truth. >>>>>>>>>>>> >>>>>>>>>>>> Why have you not had anything published? Everyone here >>>>>>>>>>>> knows why, but >>>>>>>>>>>> what's your opinion? >>>>>>>>>>> >>>>>>>>>>> I have to conclusively prove my point concretely such the >>>>>>>>>>> every single >>>>>>>>>>> detail of my reasoning can be verified as factually correct >>>>>>>>>>> before >>>>>>>>>>> people will understand that I have corrected errors in some >>>>>>>>>>> of the >>>>>>>>>>> aspects of the basic foundations of logic. >>>>>>>>>> >>>>>>>>>> Hmm.. but it's "dead obvious", isn't it? >>>>>>>>>> >>>>>>>>> >>>>>>>>> It has been dead obvious that H(P,P)==0 is the correct halt >>>>>>>>> status for the input to H(P,P) on the basis of the actual >>>>>>>>> behavior that this input actually specifies. >>>>>>>>> >>>>>>>>> This has been dead obvious on this basis for at least six >>>>>>>>> months, yet people very persistently insisted on simply >>>>>>>>> ignoring the easily verifiable facts for this whole six month >>>>>>>>> period. >>>>>>>>> >>>>>>>> >>>>>>>> Nope, since BY THE PROBLEM STATEMENT of the Halting Problem, the >>>>>>>> "actual behavior" of the input to H applied to <H^> <H^> is >>>>>>>> DEFINED to be the behavior of H^ applied to <H^>. >>>>>>>> >>>>>>> The ultimate measure superseding and overruling every other >>>>>>> measure is the actual behavior of the actual input as >>>>>>> demonstrated by a correct simulation of this input by the >>>>>>> simulating halt decider. >>>>>>> >>>>>> >>>>>> THen H is PROVEN to not be a Halt Decider, because the Halting >>>>>> Mapping is defined differently. >>>>>> >>>>>> If the definition of H doesn't match the requirements of the >>>>>> problem, then it just fails to be an aswer to the problem. >>>>>> >>>>> >>>>> Tarski makes a similar mistake when he concludes that True() is not >>>>> a definable predicate entirely on the basis that he cannot prove >>>>> that the liar paradox is true. It never occurred to him that the >>>>> liar paradox is simply untrue. >>>>> >>>>> That the definition of the halting problem criteria (in some rare >>>>> cases) directly contradicts the definition of a computer science >>>>> decider that requires all deciders to compute the mapping from >>>>> their inputs conclusively proves that the definition of the halting >>>>> problem criteria is incorrect in these (previously undiscovered) >>>>> rare cases. >>>>> >>>> >>>> You are just proving that you don't know what you are talking about. >>>> Definitions can not be 'incorrect', as they are DEFINITIONS. >>> >>> That is a naive thing to say. >>> This means that a pair of contradictory defininitions within the same >>> system would both be correct. This is simply not the way that truth >>> actually works. >>> >>> >> >> Right, they both ARE correct, and make the system inconsistent. > > Inconsistent is another word for incorrect, thus in any system of > correct reasoning there can be no contradictory definitions. Nopw, not the same definitions by the normal definitions. If your going to play Humpty Dumpty then you are just admitting that you have lost already, because you are admitting that your goal isn't to find truth but to create obfuscation. I guess just want you systems to be defined that we can't tell it they are correct at all (if more than a toy). Actually PROVING that a system is not inconsistent within that system is beyond the reach of most systems, and can only be done in very finite systems. If that is all you logic is good for, you are setting your self up to be ignored. > > >> That is the meaning of the word DEFINITION. (and an inconsistent >> systems tend to make a hash about 'truth' in that system, as you tend >> to be able to prove and disprove a lot in such a system). >> >> Now, a given definition might make a system not model well the actual >> system that it is supposed to model. But that doesn't make the >> definition incorrect in the system, but makes the system a bad model. >> >> We might talk about that definition as being 'incorrect', but >> technically, it IS correct in that system and makes the system a bad >> model. > >
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) olcott <NoOne@NoWhere.com> - 2022-05-11 13:07 -0500
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Mr Flibble <flibble@reddwarf.jmc> - 2022-05-11 20:11 +0100
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) olcott <NoOne@NoWhere.com> - 2022-05-11 19:23 -0500
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Richard Damon <Richard@Damon-Family.org> - 2022-05-11 21:02 -0400
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Mr Flibble <flibble@reddwarf.jmc> - 2022-05-12 18:31 +0100
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) olcott <NoOne@NoWhere.com> - 2022-05-12 12:43 -0500
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Mr Flibble <flibble@reddwarf.jmc> - 2022-05-12 18:43 +0100
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) olcott <NoOne@NoWhere.com> - 2022-05-12 12:45 -0500
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Mr Flibble <flibble@reddwarf.jmc> - 2022-05-12 18:47 +0100
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) olcott <NoOne@NoWhere.com> - 2022-05-12 12:51 -0500
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Mr Flibble <flibble@reddwarf.jmc> - 2022-05-12 19:00 +0100
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) olcott <NoOne@NoWhere.com> - 2022-05-12 13:06 -0500
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Mr Flibble <flibble@reddwarf.jmc> - 2022-05-12 19:13 +0100
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Ben <ben.usenet@bsb.me.uk> - 2022-05-12 21:12 +0100
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) olcott <NoOne@NoWhere.com> - 2022-05-12 15:18 -0500
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Ben <ben.usenet@bsb.me.uk> - 2022-05-12 23:58 +0100
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) olcott <NoOne@NoWhere.com> - 2022-05-12 18:28 -0500
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Ben <ben.usenet@bsb.me.uk> - 2022-05-13 01:40 +0100
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) olcott <NoOne@NoWhere.com> - 2022-05-12 20:32 -0500
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Richard Damon <Richard@Damon-Family.org> - 2022-05-12 21:48 -0400
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Ben <ben.usenet@bsb.me.uk> - 2022-05-13 13:38 +0100
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Richard Damon <Richard@Damon-Family.org> - 2022-05-12 20:56 -0400
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Richard Damon <Richard@Damon-Family.org> - 2022-05-12 19:09 -0400
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Richard Damon <Richard@Damon-Family.org> - 2022-05-12 18:50 -0400
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Richard Damon <Richard@Damon-Family.org> - 2022-05-12 18:46 -0400
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Richard Damon <Richard@Damon-Family.org> - 2022-05-12 18:45 -0400
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Richard Damon <Richard@Damon-Family.org> - 2022-05-11 19:41 -0400
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Ben <ben.usenet@bsb.me.uk> - 2022-05-12 01:17 +0100
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) olcott <NoOne@NoWhere.com> - 2022-05-11 19:29 -0500
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Richard Damon <Richard@Damon-Family.org> - 2022-05-11 20:52 -0400
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Ben <ben.usenet@bsb.me.uk> - 2022-05-12 02:10 +0100
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) olcott <NoOne@NoWhere.com> - 2022-05-11 21:29 -0500
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Richard Damon <Richard@Damon-Family.org> - 2022-05-11 23:02 -0400
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Ben <ben.usenet@bsb.me.uk> - 2022-05-12 23:54 +0100
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) olcott <NoOne@NoWhere.com> - 2022-05-12 18:21 -0500
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Mr Flibble <flibble@reddwarf.jmc> - 2022-05-13 00:24 +0100
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) olcott <NoOne@NoWhere.com> - 2022-05-12 18:42 -0500
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Ben <ben.usenet@bsb.me.uk> - 2022-05-13 01:35 +0100
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] olcott <NoOne@NoWhere.com> - 2022-05-12 20:25 -0500
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Richard Damon <Richard@Damon-Family.org> - 2022-05-12 21:41 -0400
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Ben <ben.usenet@bsb.me.uk> - 2022-05-13 12:05 +0100
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] olcott <NoOne@NoWhere.com> - 2022-05-13 12:01 -0500
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Ben <ben.usenet@bsb.me.uk> - 2022-05-13 20:06 +0100
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] olcott <NoOne@NoWhere.com> - 2022-05-13 14:24 -0500
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Richard Damon <Richard@Damon-Family.org> - 2022-05-13 16:11 -0400
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] olcott <NoOne@NoWhere.com> - 2022-05-13 15:22 -0500
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-13 13:26 -0700
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] olcott <NoOne@NoWhere.com> - 2022-05-13 15:38 -0500
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Mr Flibble <flibble@reddwarf.jmc> - 2022-05-13 21:44 +0100
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] wij <wyniijj2@gmail.com> - 2022-05-13 13:27 -0700
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Richard Damon <Richard@Damon-Family.org> - 2022-05-13 17:22 -0400
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] olcott <NoOne@NoWhere.com> - 2022-05-13 16:48 -0500
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Richard Damon <Richard@Damon-Family.org> - 2022-05-13 18:04 -0400
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] olcott <NoOne@NoWhere.com> - 2022-05-13 17:06 -0500
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Richard Damon <Richard@Damon-Family.org> - 2022-05-13 19:07 -0400
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] olcott <NoOne@NoWhere.com> - 2022-05-13 18:09 -0500
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Richard Damon <Richard@Damon-Family.org> - 2022-05-13 19:20 -0400
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] olcott <NoOne@NoWhere.com> - 2022-05-13 18:26 -0500
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Richard Damon <Richard@Damon-Family.org> - 2022-05-13 20:04 -0400
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] olcott <NoOne@NoWhere.com> - 2022-05-13 19:20 -0500
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Richard Damon <Richard@Damon-Family.org> - 2022-05-13 20:41 -0400
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] André G. Isaak <agisaak@gm.invalid> - 2022-05-13 19:03 -0600
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Richard Damon <Richard@Damon-Family.org> - 2022-05-13 21:21 -0400
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] olcott <NoOne@NoWhere.com> - 2022-05-13 22:37 -0500
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Ben <ben.usenet@bsb.me.uk> - 2022-05-13 23:46 +0100
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] olcott <NoOne@NoWhere.com> - 2022-05-13 17:57 -0500
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Richard Damon <Richard@Damon-Family.org> - 2022-05-13 19:09 -0400
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] olcott <NoOne@NoWhere.com> - 2022-05-13 18:18 -0500
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Richard Damon <Richard@Damon-Family.org> - 2022-05-13 20:09 -0400
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Ben <ben.usenet@bsb.me.uk> - 2022-05-14 01:03 +0100
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] olcott <NoOne@NoWhere.com> - 2022-05-13 19:11 -0500
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Ben <ben.usenet@bsb.me.uk> - 2022-05-14 01:18 +0100
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] olcott <NoOne@NoWhere.com> - 2022-05-13 19:22 -0500
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Ben <ben.usenet@bsb.me.uk> - 2022-05-14 01:28 +0100
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Mikko <mikko.levanto@iki.fi> - 2022-05-14 11:45 +0300
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] olcott <NoOne@NoWhere.com> - 2022-05-14 04:28 -0500
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Mikko <mikko.levanto@iki.fi> - 2022-05-14 15:55 +0300
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] olcott <NoOne@NoWhere.com> - 2022-05-14 08:53 -0500
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Mikko <mikko.levanto@iki.fi> - 2022-05-15 12:05 +0300
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Mikko <mikko.levanto@iki.fi> - 2022-05-13 16:11 +0300
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] olcott <NoOne@NoWhere.com> - 2022-05-13 11:15 -0500
Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ] Mikko <mikko.levanto@iki.fi> - 2022-05-14 11:26 +0300
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Richard Damon <Richard@Damon-Family.org> - 2022-05-12 21:03 -0400
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) Mikko <mikko.levanto@iki.fi> - 2022-05-13 16:02 +0300
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2) wij <wyniijj2@gmail.com> - 2022-05-13 12:21 -0700
csiph-web