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

Groups > comp.theory > #50624

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-15 13:18 +0100
Organization A noiseless patient Spider
Message-ID <87pmkfrnto.fsf@bsb.me.uk> (permalink)
References (10 earlier) <7bedneKhFMz8vuL_nZ2dnUU7_8xh4p2d@giganews.com> <87ilq8tu3p.fsf@bsb.me.uk> <6s-dnT3oyMZpKOL_nZ2dnUU7_8zNnZ2d@giganews.com> <87v8u7snuk.fsf@bsb.me.uk> <kKOdnVKlQvjSpx3_nZ2dnUU7_83NnZ2d@giganews.com>

Show all headers | View raw

olcott <NoOne@NoWhere.com> writes:

> On 5/14/2022 6:20 PM, Ben wrote:
>> olcott <NoOne@NoWhere.com> writes:
>> 
>>> On 5/14/2022 3:07 AM, Ben wrote:
>>>> olcott <NoOne@NoWhere.com> writes:
>>>>
>>>>> The halting criteria that the halting problem expects is wrong because
>>>>> it contradicts the definition of a computer science decider in some
>>>>> rare cases that no one never noticed before.
>>>> Well that's pretty clear.  The halting problem, as defined by everyone
>>>> by you (i.e. about which computations are finite and which are not) is
>>>> indeed undecidable.
>>>
>>> Not at all.
>> So you believe it is possible for a function D to be written such that
>> D(X,Y) == true if and only of X(Y) halts and false otherwise?  
>
> In the same way that a TM can use a "box of oreos" to compute the
> length of a finite string a non-computation can compute the halt
> status of a non-input.
>
> The HP is defined incorrectly. It cannot be about computations, it
> must be about the computations that inputs specify.

The two pointers X and Y can be taken to specify a function call X(Y).
That's what they specify in the call D(X,Y) that you are trying so hard
to avoid taking about.  What you take them to specify in a call to your
H is not interesting.

Your H is boring because "the computations that input specify" are so
limited.  Many simple computations consisting of one pointer called with
the other as an argument can't be specified at all (apparently) so you
should probably stop wasting time on your H.

Either there can be a function D such that D(X,Y) == false if and only
of the computation, X(Y), specified by those "inputs" does not halt, or
there can't be.  But even after 18 years of what you call "research" you
won't dare hazard a guess about the possible existence of such an
important algorithm!

-- 
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