Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #50507

Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ]

From Ben <ben.usenet@bsb.me.uk>
Newsgroups comp.theory
Subject Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ]
Date 2022-05-14 00:48 +0100
Organization A noiseless patient Spider
Message-ID <87mtfluh8s.fsf@bsb.me.uk> (permalink)
References (2 earlier) <NJWdnQKVkZ1EJOP_nZ2dnUU7_83NnZ2d@giganews.com> <87lev5w47b.fsf@bsb.me.uk> <QOidnVv4COaIVeP_nZ2dnUU7_8zNnZ2d@giganews.com> <87sfpdujf0.fsf@bsb.me.uk> <zaWdnfAK_d2meeP_nZ2dnUU7_81g4p2d@giganews.com>

Show all headers | View raw

olcott <NoOne@NoWhere.com> writes:

> On 5/13/2022 6:01 PM, Ben wrote:
>> olcott <NoOne@NoWhere.com> writes:
>> 
>>> On 5/13/2022 3:46 PM, Ben wrote:
>>>> olcott <NoOne@NoWhere.com> writes:
>>>>
>>>>> On 5/13/2022 2:16 PM, Ben wrote:
>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>
>>>>>>> *Validity and Soundness*
>>>>>> Good plan.  You've run aground as far as halting is concerned, so you
>>>>>> better find another topic you don't know about.
>>>>>
>>>>> 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.
>>>> It is now dead obvious that you accept that no algorithm can do what the
>>>> world calls "decide halting".
>>>
>>> Tarski makes a similar mistake...
>> <snip distractions>
>> 
>>>>   That is, in the context of C-like code
>>>> that you are more comfortable with, no D can exist such that D(X,Y) is
>>>> true if and only if X(Y) halts and is false otherwise.
>>>> Do you now accept that this is not possible?  (I know, I know...  I
>>>> don't really expect an answer.)
>>
>> As expected, no answer.  You can't answer this because you know that
>> would be the end of you bragging about halting. 
>
> All undecidable problems always have very well hidden logical
> incoherence, false assumptions, or very well hidden gaps in their
> reasoning otherwise the fundamental nature of truth itself is broken.

Is that an answer?  It's almost a concession (for the wrong reasons mind
you) that no D can exist such that D(X,Y) is true if and only if X(Y)
halts and is false otherwise.  But you won't give an explicit answer
will you?  As I've said before, asking questions you won't answer is
pretty much the closest one can come to such an admission.

-- 
Ben.
"le génie humain a des limites, quand la bêtise humaine n’en a pas"
Alexandre Dumas (fils)

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Correcting logic to make it a system of correct reasoning olcott <NoOne@NoWhere.com> - 2022-05-13 12:20 -0500
  Re: Correcting logic to make it a system of correct reasoning Richard Damon <Richard@Damon-Family.org> - 2022-05-13 13:47 -0400
    Re: Correcting logic to make it a system of correct reasoning olcott <NoOne@NoWhere.com> - 2022-05-13 13:10 -0500
      Re: Correcting logic to make it a system of correct reasoning Richard Damon <Richard@Damon-Family.org> - 2022-05-13 15:13 -0400
        Re: Correcting logic to make it a system of correct reasoning olcott <NoOne@NoWhere.com> - 2022-05-13 14:43 -0500
          Re: Correcting logic to make it a system of correct reasoning Richard Damon <Richard@Damon-Family.org> - 2022-05-13 16:43 -0400
            Re: Correcting logic to make it a system of correct reasoning olcott <NoOne@NoWhere.com> - 2022-05-13 15:56 -0500
              Re: Correcting logic to make it a system of correct reasoning Richard Damon <Richard@Damon-Family.org> - 2022-05-13 17:30 -0400
                Re: Correcting logic to make it a system of correct reasoning olcott <NoOne@NoWhere.com> - 2022-05-13 16:53 -0500
                Re: Correcting logic to make it a system of correct reasoning Richard Damon <Richard@Damon-Family.org> - 2022-05-13 18:14 -0400
                Re: Correcting logic to make it a system of correct reasoning olcott <NoOne@NoWhere.com> - 2022-05-13 17:23 -0500
                Re: Correcting logic to make it a system of correct reasoning Richard Damon <Richard@Damon-Family.org> - 2022-05-13 19:14 -0400
                Re: Correcting logic to make it a system of correct reasoning olcott <NoOne@NoWhere.com> - 2022-05-13 18:20 -0500
                Re: Correcting logic to make it a system of correct reasoning Richard Damon <Richard@Damon-Family.org> - 2022-05-13 20:15 -0400
    Re: Correcting logic to make it a system of correct reasoning Jeff Barnett <jbb@notatt.com> - 2022-05-13 14:44 -0600
  Re: Correcting logic to make it a system of correct reasoning André G. Isaak <agisaak@gm.invalid> - 2022-05-13 12:28 -0600
    Re: Correcting logic to make it a system of correct reasoning olcott <NoOne@NoWhere.com> - 2022-05-13 13:50 -0500
      Re: Correcting logic to make it a system of correct reasoning André G. Isaak <agisaak@gm.invalid> - 2022-05-13 13:00 -0600
        Re: Correcting logic to make it a system of correct reasoning olcott <NoOne@NoWhere.com> - 2022-05-13 14:11 -0500
          Re: Correcting logic to make it a system of correct reasoning André G. Isaak <agisaak@gm.invalid> - 2022-05-13 13:20 -0600
            Re: Correcting logic to make it a system of correct reasoning olcott <NoOne@NoWhere.com> - 2022-05-13 14:51 -0500
              Re: Correcting logic to make it a system of correct reasoning André G. Isaak <agisaak@gm.invalid> - 2022-05-13 14:02 -0600
                Re: Correcting logic to make it a system of correct reasoning olcott <NoOne@NoWhere.com> - 2022-05-13 15:08 -0500
                Re: Correcting logic to make it a system of correct reasoning Richard Damon <Richard@Damon-Family.org> - 2022-05-13 17:56 -0400
          Re: Correcting logic to make it a system of correct reasoning Richard Damon <Richard@Damon-Family.org> - 2022-05-13 16:03 -0400
            Re: Correcting logic to make it a system of correct reasoning olcott <NoOne@NoWhere.com> - 2022-05-13 15:14 -0500
              Re: Correcting logic to make it a system of correct reasoning Richard Damon <Richard@Damon-Family.org> - 2022-05-13 17:39 -0400
                Re: Correcting logic to make it a system of correct reasoning olcott <NoOne@NoWhere.com> - 2022-05-13 16:56 -0500
                Re: Correcting logic to make it a system of correct reasoning Richard Damon <Richard@Damon-Family.org> - 2022-05-13 18:19 -0400
        Re: Correcting logic to make it a system of correct reasoning Ben <ben.usenet@bsb.me.uk> - 2022-05-13 20:15 +0100
          Re: Correcting logic to make it a system of correct reasoning olcott <NoOne@NoWhere.com> - 2022-05-13 14:58 -0500
  Re: Correcting logic to make it a system of correct reasoning Ben <ben.usenet@bsb.me.uk> - 2022-05-13 20:16 +0100
    Re: Correcting logic to make it a system of correct reasoning olcott <NoOne@NoWhere.com> - 2022-05-13 15:04 -0500
      Re: Correcting logic to make it a system of correct reasoning Dennis Bush <dbush.mobile@gmail.com> - 2022-05-13 13:08 -0700
        Re: Correcting logic to make it a system of correct reasoning olcott <NoOne@NoWhere.com> - 2022-05-13 15:19 -0500
          Re: Correcting logic to make it a system of correct reasoning Dennis Bush <dbush.mobile@gmail.com> - 2022-05-13 13:23 -0700
            Re: Correcting logic to make it a system of correct reasoning olcott <NoOne@NoWhere.com> - 2022-05-13 15:32 -0500
              Re: Correcting logic to make it a system of correct reasoning Dennis Bush <dbush.mobile@gmail.com> - 2022-05-13 13:57 -0700
                Re: Correcting logic to make it a system of correct reasoning [ very foolish ] olcott <NoOne@NoWhere.com> - 2022-05-13 16:10 -0500
                Re: Correcting logic to make it a system of correct reasoning [ very foolish ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-13 14:16 -0700
                Re: Correcting logic to make it a system of correct reasoning [ very foolish ] olcott <NoOne@NoWhere.com> - 2022-05-13 16:17 -0500
                Re: Correcting logic to make it a system of correct reasoning [ very foolish ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-13 14:22 -0700
                Re: Correcting logic to make it a system of correct reasoning [ Tarski made the same mistake ] olcott <NoOne@NoWhere.com> - 2022-05-13 16:47 -0500
                Re: Correcting logic to make it a system of correct reasoning [ Tarski made the same mistake ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-13 15:21 -0700
                Re: Correcting logic to make it a system of correct reasoning [ Tarski made the same mistake ] olcott <NoOne@NoWhere.com> - 2022-05-13 17:29 -0500
                Re: Correcting logic to make it a system of correct reasoning [ Tarski made the same mistake ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-13 15:35 -0700
                Re: Correcting logic to make it a system of correct reasoning [ Tarski made the same mistake ] Richard Damon <Richard@Damon-Family.org> - 2022-05-13 18:59 -0400
                Re: Correcting logic to make it a system of correct reasoning [ Tarski made the same mistake ] olcott <NoOne@NoWhere.com> - 2022-05-13 18:01 -0500
                Re: Correcting logic to make it a system of correct reasoning [ Tarski made the same mistake ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-13 16:16 -0700
                Re: Correcting logic to make it a system of correct reasoning [ Tarski made the same mistake ] olcott <NoOne@NoWhere.com> - 2022-05-13 18:23 -0500
                Re: Correcting logic to make it a system of correct reasoning [ Tarski made the same mistake ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-13 16:37 -0700
              Re: Correcting logic to make it a system of correct reasoning Richard Damon <Richard@Damon-Family.org> - 2022-05-13 17:44 -0400
      Re: Correcting logic to make it a system of correct reasoning Ben <ben.usenet@bsb.me.uk> - 2022-05-13 21:46 +0100
        Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] olcott <NoOne@NoWhere.com> - 2022-05-13 16:05 -0500
          Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] Richard Damon <Richard@Damon-Family.org> - 2022-05-13 17:47 -0400
          Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] Ben <ben.usenet@bsb.me.uk> - 2022-05-14 00:01 +0100
            Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] olcott <NoOne@NoWhere.com> - 2022-05-13 18:05 -0500
              Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] Richard Damon <Richard@Damon-Family.org> - 2022-05-13 19:22 -0400
                Re: Correcting logic to make it a system of correct reasoning [ philosophical underpinnings ] olcott <NoOne@NoWhere.com> - 2022-05-13 18:35 -0500
                Re: Correcting logic to make it a system of correct reasoning [ philosophical underpinnings ] Richard Damon <Richard@Damon-Family.org> - 2022-05-13 20:27 -0400
                Re: Correcting logic to make it a system of correct reasoning [ philosophical underpinnings ] olcott <NoOne@NoWhere.com> - 2022-05-13 23:01 -0500
                Re: Correcting logic to make it a system of correct reasoning [ philosophical underpinnings ] Richard Damon <Richard@Damon-Family.org> - 2022-05-14 09:42 -0400
                Re: Correcting logic to make it a system of correct reasoning [ Wittgenstein and I ] olcott <NoOne@NoWhere.com> - 2022-05-14 09:42 -0500
                Re: Correcting logic to make it a system of correct reasoning [ Wittgenstein and I ] Richard Damon <Richard@Damon-Family.org> - 2022-05-14 10:59 -0400
                Re: Correcting logic to make it a system of correct reasoning [ Wittgenstein and I ]( Prolog backchaining ) olcott <NoOne@NoWhere.com> - 2022-05-14 10:32 -0500
                Re: Correcting logic to make it a system of correct reasoning [ Wittgenstein and I ]( Prolog backchaining ) Richard Damon <Richard@Damon-Family.org> - 2022-05-14 12:42 -0400
                Re: Correcting logic to make it a system of correct reasoning [ Wittgenstein and I ]( Prolog backchaining ) olcott <NoOne@NoWhere.com> - 2022-05-14 12:25 -0500
                Re: Correcting logic to make it a system of correct reasoning [ Wittgenstein and I ]( Prolog backchaining ) Richard Damon <Richard@Damon-Family.org> - 2022-05-14 16:18 -0400
                Re: Correcting logic to make it a system of correct reasoning [ Wittgenstein and I ]( Prolog backchaining ) olcott <NoOne@NoWhere.com> - 2022-05-14 16:02 -0500
                Re: Correcting logic to make it a system of correct reasoning [ Wittgenstein and I ]( Prolog backchaining ) Richard Damon <Richard@Damon-Family.org> - 2022-05-14 17:15 -0400
                Re: Correcting logic to make it a system of correct reasoning [ Wittgenstein and I ]( Prolog backchaining ) olcott <NoOne@NoWhere.com> - 2022-05-14 16:48 -0500
                Re: Correcting logic to make it a system of correct reasoning [ Wittgenstein and I ]( Prolog backchaining ) Richard Damon <Richard@Damon-Family.org> - 2022-05-14 18:50 -0400
                Re: Correcting logic to make it a system of correct reasoning [ Wittgenstein and I ]( Prolog backchaining ) olcott <NoOne@NoWhere.com> - 2022-05-14 18:21 -0500
                Re: Correcting logic to make it a system of correct reasoning [ Wittgenstein and I ]( Prolog backchaining ) Richard Damon <Richard@Damon-Family.org> - 2022-05-14 19:52 -0400
                Re: Correcting logic to make it a system of correct reasoning [ Wittgenstein and I ]( Prolog backchaining ) olcott <NoOne@NoWhere.com> - 2022-05-14 23:07 -0500
                Re: Correcting logic to make it a system of correct reasoning [ Wittgenstein and I ]( Prolog backchaining ) Richard Damon <Richard@Damon-Family.org> - 2022-05-15 07:16 -0400
                Re: Correcting logic to make it a system of correct reasoning [ Wittgenstein and I ]( Prolog backchaining ) olcott <NoOne@NoWhere.com> - 2022-05-17 22:11 -0500
                Re: Correcting logic to make it a system of correct reasoning [ Wittgenstein and I ]( Prolog backchaining ) Richard Damon <Richard@Damon-Family.org> - 2022-05-18 07:28 -0400
                Re: Correcting logic to make it a system of correct reasoning [ Wittgenstein and I ]( Prolog backchaining ) olcott <NoOne@NoWhere.com> - 2022-05-18 10:01 -0500
                Re: Correcting logic to make it a system of correct reasoning [ Wittgenstein and I ]( Prolog backchaining ) Richard Damon <Richard@Damon-Family.org> - 2022-05-18 19:57 -0400
              Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] Ben <ben.usenet@bsb.me.uk> - 2022-05-14 00:48 +0100
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] olcott <NoOne@NoWhere.com> - 2022-05-13 19:04 -0500
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] Ben <ben.usenet@bsb.me.uk> - 2022-05-14 01:30 +0100
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] olcott <NoOne@NoWhere.com> - 2022-05-13 22:34 -0500
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-13 20:58 -0700
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] olcott <NoOne@NoWhere.com> - 2022-05-13 23:15 -0500
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] Richard Damon <Richard@Damon-Family.org> - 2022-05-14 09:47 -0400
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] Ben <ben.usenet@bsb.me.uk> - 2022-05-14 09:07 +0100
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] olcott <NoOne@NoWhere.com> - 2022-05-14 09:00 -0500
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] Richard Damon <Richard@Damon-Family.org> - 2022-05-14 10:31 -0400
                Re: Correcting logic to make it a system of correct reasoning [ computer science is inconsistent ] olcott <NoOne@NoWhere.com> - 2022-05-14 09:53 -0500
                Re: Correcting logic to make it a system of correct reasoning [ computer science is inconsistent ] Richard Damon <Richard@Damon-Family.org> - 2022-05-14 11:33 -0400
                Re: Correcting logic to make it a system of correct reasoning [ computer science is inconsistent ] olcott <NoOne@NoWhere.com> - 2022-05-14 11:52 -0500
                Re: Correcting logic to make it a system of correct reasoning [ computer science is inconsistent ] Richard Damon <Richard@Damon-Family.org> - 2022-05-14 17:28 -0400
                Re: Correcting logic to make it a system of correct reasoning [ computer science is inconsistent ] olcott <NoOne@NoWhere.com> - 2022-05-14 16:53 -0500
                Re: Correcting logic to make it a system of correct reasoning [ computer science is inconsistent ] Richard Damon <Richard@Damon-Family.org> - 2022-05-14 18:56 -0400
                Re: Correcting logic to make it a system of correct reasoning [ computer science is inconsistent ] olcott <NoOne@NoWhere.com> - 2022-05-14 18:33 -0500
                Re: Correcting logic to make it a system of correct reasoning [ computer science is inconsistent ] Richard Damon <Richard@Damon-Family.org> - 2022-05-14 19:53 -0400
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] Ben <ben.usenet@bsb.me.uk> - 2022-05-15 00:20 +0100
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] olcott <NoOne@NoWhere.com> - 2022-05-14 18:25 -0500
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] Ben <ben.usenet@bsb.me.uk> - 2022-05-15 13:18 +0100
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] olcott <NoOne@NoWhere.com> - 2022-05-17 22:02 -0500
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] Richard Damon <Richard@Damon-Family.org> - 2022-05-18 08:27 -0400
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] olcott <NoOne@NoWhere.com> - 2022-05-18 10:37 -0500
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] Richard Damon <Richard@Damon-Family.org> - 2022-05-18 19:09 -0400
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] olcott <NoOne@NoWhere.com> - 2022-05-18 18:35 -0500
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] Richard Damon <Richard@Damon-Family.org> - 2022-05-18 20:02 -0400
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] Ben <ben.usenet@bsb.me.uk> - 2022-05-18 16:20 +0100
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] olcott <NoOne@NoWhere.com> - 2022-05-18 10:25 -0500
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] Richard Damon <Richard@Damon-Family.org> - 2022-05-18 19:11 -0400
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] olcott <NoOne@NoWhere.com> - 2022-05-18 18:38 -0500
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] Richard Damon <Richard@Damon-Family.org> - 2022-05-18 20:06 -0400
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] Ben <ben.usenet@bsb.me.uk> - 2022-05-19 02:01 +0100
                Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] Richard Damon <Richard@Damon-Family.org> - 2022-05-13 20:31 -0400

csiph-web