Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c > #395777
| From | polcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory, comp.lang.c, comp.lang.c++ |
| Subject | Re: Proof that the halting problem itself is a category error |
| Date | 2025-12-10 17:42 -0600 |
| Message-ID | <10hd0ge$1dbl5$1@solani.org> (permalink) |
| References | <10hct1p$1d92l$1@solani.org> <a3bcd46bf5b5a3ccc4b1308d8c7065008c1b4092.camel@gmail.com> <10hcu82$1d9h7$1@solani.org> <a813068735f3d7de94fb9d44908d5b9a295cd745.camel@gmail.com> |
Cross-posted to 3 groups.
On 12/10/2025 5:11 PM, wij wrote: > On Wed, 2025-12-10 at 17:03 -0600, polcott wrote: >> On 12/10/2025 4:58 PM, wij wrote: >>> On Wed, 2025-12-10 at 16:43 -0600, polcott wrote: >>>> When the halting problem requires a halt decider >>>> to report on the behavior of a Turing machine >>>> this is always a category error. >>>> >>>> The corrected halting problem requires a Turing >>>> machine decider to report in the behavior that >>>> its finite string input specifies. >>> >>> If you honestly admit you are solving POO Problem, everything is fine. >>> >> >> *It has take me 21 years to boil it down to this* >> >> When the halting problem requires a halt decider >> to report on the behavior of a Turing machine this >> is always a category error. >> >> The corrected halting problem requires a Turing >> machine decider to report in the behavior that >> its finite string input specifies. > > It looks you play blind block my other replies again. My about two paragraphs sums the basis of how the halting problem itself is flat out incorrect. Nothing about the halting problem can possibly be more significant than this. -- Copyright 2025 Olcott My 28 year goal has been to make "true on the basis of meaning expressed in language" reliably computable. This required establishing a new foundation for correct reasoning.
Back to comp.lang.c | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Proof that the halting problem itself is a category error polcott <polcott333@gmail.com> - 2025-12-10 16:43 -0600
Re: Proof that the halting problem itself is a category error polcott <polcott333@gmail.com> - 2025-12-10 17:42 -0600
Re: Proof that the halting problem itself is a category error Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-12 01:56 +0000
Re: Proof that the halting problem itself is a category error olcott <polcott333@gmail.com> - 2025-12-11 20:02 -0600
csiph-web