Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| Subject | Re: Correcting logic to make it a system of correct reasoning [ previously undiscovered rare cases ] |
|---|---|
| Newsgroups | comp.theory, comp.ai.philosophy, sci.logic |
| References | (12 earlier) <6s-dnT3oyMZpKOL_nZ2dnUU7_8zNnZ2d@giganews.com> <87v8u7snuk.fsf@bsb.me.uk> <kKOdnVKlQvjSpx3_nZ2dnUU7_83NnZ2d@giganews.com> <87pmkfrnto.fsf@bsb.me.uk> <p4KdnYplOu1F_Bn_nZ2dnUU7_8zNnZ2d@giganews.com> |
| From | Richard Damon <Richard@Damon-Family.org> |
| Message-ID | <RC5hK.33657$6dof.20351@fx13.iad> (permalink) |
| Organization | Forte - www.forteinc.com |
| Date | 2022-05-18 08:27 -0400 |
Cross-posted to 3 groups.
On 5/17/22 11:02 PM, olcott wrote: > 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. > >> 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! > > You continue to push the nutty idea that the halt decider is required to > "compute" on non-computation. > > Computable functions are the basic objects of study in computability > theory. Computable functions are the formalized analogue of the > intuitive notion of algorithms, in the sense that 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 > > > > If H^ is not a computation, then H isn't either. You are just proving that you don't understand what this topic is about. It has been shown that you can convert ANY Turing Machine to a representation, and the input to H is defined as a Representation of a Turing Machine. If you arguement is that you can't decide on the behavior of a Turing Machine just from a representation of it as a computation, then you are just agreeing that the Halting Problem IS impossible to "Compute" even if you don't understand that is what you are saying.
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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