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

Groups > comp.theory > #50688

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-19 02:01 +0100
Organization A noiseless patient Spider
Message-ID <87fsl68hei.fsf@bsb.me.uk> (permalink)
References (14 earlier) <kKOdnVKlQvjSpx3_nZ2dnUU7_83NnZ2d@giganews.com> <87pmkfrnto.fsf@bsb.me.uk> <p4KdnYplOu1F_Bn_nZ2dnUU7_8zNnZ2d@giganews.com> <87k0aiq34f.fsf@bsb.me.uk> <f-CdnQV0KrZIkhj_nZ2dnUU7_83NnZ2d@giganews.com>

Show all headers | View raw

olcott <NoOne@NoWhere.com> writes:

> On 5/18/2022 10:20 AM, Ben wrote:
>> olcott <NoOne@NoWhere.com> writes:
>> 
>>> On 5/15/2022 7:18 AM, Ben wrote:
>>>> 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).
>>>
>>> Not when they are correctly simulated by H.
>> Then H is not a halt decider:
>> 
>>>> That's what they specify in the call D(X,Y) that you are trying so hard
>>>> to avoid taking about.
>> 
>>> You continue to push the nutty idea that the halt decider is required to
>>> "compute" on non-computation.
>> X(Y) is a computation entirely determined by the data to be found at X
>> and Y (and possibly by following further links from that data).  The two
>> "input" pointers specify, without any ambiguity, the computation that D
>> is supposed to tell up about (and which you now accept, albeit
>> implicitly, that it can't).
>
> a function is computable if there exists an algorithm that can do the job of the function, i.e. given an input of the function domain it can 
> return the corresponding output.
> https://en.wikipedia.org/wiki/Computable_function
>
> H(P,P)==0 is correct on this basis.

You have trouble with agreement, don't you?  Of course H is computing
some function.  It's just no a function anyone cares about.

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