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

Subject	Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ]
Newsgroups	comp.theory
References	(4 earlier) <QOidnVv4COaIVeP_nZ2dnUU7_8zNnZ2d@giganews.com> <87sfpdujf0.fsf@bsb.me.uk> <zaWdnfAK_d2meeP_nZ2dnUU7_81g4p2d@giganews.com> <87mtfluh8s.fsf@bsb.me.uk> <f8ednb12fY6bb-P_nZ2dnUU7_83NnZ2d@giganews.com>
From	Richard Damon <Richard@Damon-Family.org>
Message-ID	<iLCfK.538$cvmb.310@fx06.iad> (permalink)
Organization	Forte - www.forteinc.com
Date	2022-05-13 20:31 -0400

Show all headers | View raw

On 5/13/22 8:04 PM, olcott wrote:

> The HP proves that no malformed halt decider that violates the 
> definition of a decider can correctly decide the halt status in some 
> cases because it is malformed.
> 
> 

So you accept as True the statement that "It is impossible to build a 
Turing Machine that can compute the ACTUAL Halting Mapping of Turing 
Machine and its input to whether that machine would halt given that 
input, by being somehow given a representation of the machine and input"?

Back to comp.theory | Previous | Next — Previous 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