Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs)

Subject	Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs)
Newsgroups	comp.theory, comp.lang.c, comp.lang.c++, comp.ai.philosophy
References	(20 earlier) <vZ6dnbyiavkSaM7CnZ2dnUU7-KfNnZ2d@giganews.com> <MhT4H.242305$Av7.52541@fx34.iad> <p4mdnfUDr99Jl8nCnZ2dnUU78YvNnZ2d@brightview.co.uk> <rj18bh$olv$1@dont-email.me> <WHW4H.67365$tL.43282@fx15.iad>
From	olcott <NoOne@NoWhere.com>
Date	2020-09-06 13:08 -0500
Message-ID	<Xq-dnQTPNfotuMjCnZ2dnUU7-R2dnZ2d@giganews.com> (permalink)

Cross-posted to 4 groups.

Show all headers | View raw

On 9/5/2020 8:12 PM, Richard Damon wrote:
> On 9/5/20 7:52 PM, Jeff Barnett wrote:
>> On 9/5/2020 4:01 PM, Mike Terry wrote:
>>> On 05/09/2020 22:19, Richard Damon wrote:
>>>> On 9/5/20 4:31 PM, olcott wrote:
>>>>> On 9/5/2020 3:19 PM, Richard Damon wrote:
>>>>>> On 9/5/20 3:16 PM, olcott wrote:
>>>>>>>
>>>>>>> As long as the halt deciding code in HDC is the same in H and
>>>>>>> H_Hat and
>>>>>>> shows that its decision is correct then the Linz proof has been
>>>>>>> refuted.
>>>>>>
>>>>>> And how do you show the answer is correct when it is always wrong by
>>>>>> definition?
>>>>>>
>>>>>
>>>>> When we actually see H correctly deciding an instance of H_Hat we find
>>>>> that prior understanding of the Halting Problem as impossible by
>>>>> definition is an incorrect understanding.
>>>>
>>>> So what does your machine do????
>>>>
>>>> I suspect, fail to meet the requirements.
>>>>>
>>>>>> If the HDC determines that H_Hat WILL halt, then H_Hat, by its
>>>>>> definition needs to infinitely loop, so the determination that it will
>>>>>> halt is incorrect.
>>>>>>
>>>>>> If the HDC determines that H_Hat will not halt, then H_Hat, by its
>>>>>> definition needs to halt, then the determination that it will not halt
>>>>>> is incorrect.
>>>>>>
>>>>>> If the HDC does not determine what will happen, it violates its
>>>>>> requirement as a HDC, and is thus incorrect.
>>>>>>
>>>>>
>>>>> There is a loophole.
>>>>>
>>>>>
>>>>
>>>> Only by redefining that you are solving a different problem using (I
>>>> suppose) some other fundamental axioms of logic. I hope that you have
>>>> fully examined your new axioms that you are working on.
>>>>
>>>> If you REALLY have a loophole in the proof, because the proof is so
>>>> simple, the loophole should have a fairly simple description. A wildly
>>>> complicated counter is certainly going to be like the proofs of 1 == 2
>>>> that rely on hiding a division by 0 in them.
>>>>
>>>> My guess is you have missed some characteristic of true Turing Machines
>>>> (which can't physically exist as they have potentially infinite memory).
>>>> It is well known that the Halting problem CAN be solved for a memory
>>>> limited Turing Machine, even by another memory limited (but much bigger
>>>> memory) Turing Machine.
>>>>
>>>> My first guess is either you have that sort of flaw, or you are failing
>>>> to provide the answer in true Finite time.
>>>>
>>>
>>> My guess would be that he's not properly understood the relation
>>> between H (the decider) and H_Hat (the test case).  Either his H_Hat
>>> will be wildly off in relationship to H, or the correspondence will be
>>> broken in some more subtle (but not that subtle!) way.  E.g. he could
>>> "cheat" through H being passed some kind of hidden input other than
>>> its legitimate input (H^Hat, H_Hat), enabling it to behave differently
>>> when it's invoked internally within H_Hat.  (Input from global
>>> variables? Something in his emulator implementation? ...)
>>
>> Experience has shown he's not intelligent enough to make those kind of
>> mistakes unless utterly by accident. Also there is a lot of troll in him
>> and the only detectable trait is that he wants people to respond to his
>> inanities. Just remember that he claimed to have all of this ready to
>> go, i.e. coded, around two years ago - lies of course - and this is all
>> a rearguard action to cover his ego. In other, words don't expect to
>> ever see a TM or equivalent encoding for H.
>>
>>> But he's not going to give any details, so we'll just have to wait and
>>> see...
> 
> My first guess, is that he somehow thinks that if H doesn't say Halted,
> that is good enough to be considered as the 'Not Halting' answer, when
> of course it isn't. That or some other 'small' change to the ground
> rules, that would actually allow H to be something trivial or
> uninteresting, so proving that this modified H can exist actully means
> nothing.
> 

I explain the architecture of my solution here:
http://www.liarparadox.org/Linz_Diagrams.pdf

-- 
Copyright 2020 Pete Olcott

Back to comp.lang.c | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) olcott <NoOne@NoWhere.com> - 2020-08-30 15:19 -0500
  Transforming "C" into a Turing equivalent language 001 [Providing unlimited memory access to C] olcott <NoOne@NoWhere.com> - 2020-08-30 19:17 -0500
    Re: Transforming "C" into a Turing equivalent language 001 [Providing unlimited memory access to C] olcott <NoOne@NoWhere.com> - 2020-08-31 08:47 -0500
    Re: Transforming "C" into a Turing equivalent language 007 [Mapping x86 to Turing Equivalent] olcott <NoOne@NoWhere.com> - 2020-09-02 22:30 -0500
  Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) Richard Damon <Richard@Damon-Family.org> - 2020-08-30 20:43 -0400
    Transforming "C" into a Turing equivalent language 001 [Providing unlimited memory access to C] olcott <NoOne@NoWhere.com> - 2020-08-30 20:21 -0500
  Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-02 09:55 -0500
    Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-02 09:45 -0700
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-02 12:03 -0500
    Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) André G. Isaak <agisaak@gm.invalid> - 2020-09-03 06:12 -0600
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 09:46 -0500
        Re: Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) kegs@provalid.com (Kent Dickey) - 2020-09-03 14:23 -0500
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2020-09-03 21:28 +0100
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 16:51 -0500
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2020-09-03 23:20 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 17:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2020-09-04 01:56 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 20:15 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 20:29 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2020-09-04 02:47 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 21:08 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 22:41 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-04 03:37 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-04 08:06 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-04 06:38 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-04 08:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-04 07:14 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-04 09:26 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-04 08:00 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-04 10:17 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-04 08:35 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-04 11:03 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2020-09-04 17:22 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-04 11:50 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-04 10:31 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-04 13:17 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-04 11:35 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-04 13:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-04 12:20 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-04 15:18 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-04 13:35 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-04 15:42 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-05 03:14 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-05 09:45 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-09-04 11:55 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-04 14:07 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-09-04 13:23 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-04 15:37 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-04 18:24 -0500
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 15:28 -0500
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 16:16 -0500
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 12:05 -0500
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-03 22:02 -0500
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Jeff Barnett <jbb@notatt.com> - 2020-09-03 22:44 -0600
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) red floyd <no.spam.here@its.invalid> - 2020-09-04 11:09 -0700
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-04 13:34 -0500
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-05 00:21 -0500
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Richard Damon <Richard@Damon-Family.org> - 2020-09-05 09:49 -0400
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-05 09:34 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Richard Damon <Richard@Damon-Family.org> - 2020-09-05 11:03 -0400
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-05 11:20 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) André G. Isaak <agisaak@gm.invalid> - 2020-09-05 10:40 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-05 12:12 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) André G. Isaak <agisaak@gm.invalid> - 2020-09-05 11:42 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-05 13:17 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) André G. Isaak <agisaak@gm.invalid> - 2020-09-05 12:33 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-05 14:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Richard Damon <Richard@Damon-Family.org> - 2020-09-05 16:19 -0400
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-05 15:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Richard Damon <Richard@Damon-Family.org> - 2020-09-05 17:19 -0400
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2020-09-05 23:01 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Jeff Barnett <jbb@notatt.com> - 2020-09-05 17:52 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Richard Damon <Richard@Damon-Family.org> - 2020-09-05 21:12 -0400
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-06 13:08 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-05 21:49 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2020-09-06 04:35 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-05 22:50 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-05 22:58 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Richard Damon <Richard@Damon-Family.org> - 2020-09-06 08:47 -0400
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-06 11:42 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) André G. Isaak <agisaak@gm.invalid> - 2020-09-06 11:43 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-06 13:04 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-06 02:31 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-09-06 21:13 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-06 17:39 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Richard Damon <Richard@Damon-Family.org> - 2020-09-06 20:23 -0400
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-06 20:23 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Richard Damon <Richard@Damon-Family.org> - 2020-09-06 21:51 -0400
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-06 21:10 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-06 16:43 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Richard Damon <Richard@Damon-Family.org> - 2020-09-06 20:45 -0400
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-06 20:33 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Richard Damon <Richard@Damon-Family.org> - 2020-09-06 22:10 -0400
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-06 21:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Richard Damon <Richard@Damon-Family.org> - 2020-09-06 22:43 -0400
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-06 21:59 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Richard Damon <Richard@Damon-Family.org> - 2020-09-07 10:05 -0400
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-07 09:36 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-09-07 02:05 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-07 03:08 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Richard Damon <Richard@Damon-Family.org> - 2020-09-07 10:13 -0400
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-07 07:38 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-07 09:41 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-07 08:02 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-07 10:30 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-07 08:42 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-07 10:45 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-07 09:14 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-09-07 22:23 +0100
                Cranks (was: Re: Simply defining Gödel Incompleteness ...) Jorgen Grahn <grahn+nntp@snipabacken.se> - 2020-09-07 05:54 +0000
                Re: Cranks Tim Rentsch <tr.17687@z991.linuxsc.com> - 2020-09-08 06:40 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-06 15:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-06 16:10 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-06 15:11 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Richard Damon <Richard@Damon-Family.org> - 2020-09-06 21:33 -0400
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-06 20:40 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Richard Damon <Richard@Damon-Family.org> - 2020-09-06 22:30 -0400
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-06 21:45 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) André G. Isaak <agisaak@gm.invalid> - 2020-09-05 15:29 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) André G. Isaak <agisaak@gm.invalid> - 2020-09-05 15:52 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) André G. Isaak <agisaak@gm.invalid> - 2020-09-05 15:28 -0600
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-05 00:40 -0500
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2020-09-03 12:32 -0700
  Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) adultfriendfindercom08@gmail.com - 2020-09-04 04:51 -0700

csiph-web