Groups | Search | Server Info | Login | Register
Groups > comp.theory > #137464
| From | polcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory, comp.software-eng, comp.ai.philosophy |
| Subject | Re: Proof that the halting problem itself is a category error --- typo |
| Date | 2025-12-10 17:53 -0600 |
| Message-ID | <10hd14s$1dbug$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 *above* two paragraphs sums up 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.theory | Previous | Next — Previous in thread | Next in thread | Find similar
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 wij <wyniijj5@gmail.com> - 2025-12-11 06:58 +0800
Re: Proof that the halting problem itself is a category error polcott <polcott333@gmail.com> - 2025-12-10 17:03 -0600
Re: Proof that the halting problem itself is a category error wij <wyniijj5@gmail.com> - 2025-12-11 07:11 +0800
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 --- typo polcott <polcott333@gmail.com> - 2025-12-10 17:53 -0600
Re: Proof that the halting problem itself is a category error olcott <polcott333@gmail.com> - 2025-12-11 17:12 -0600
Re: Proof that the halting problem itself is a category error Richard Damon <Richard@Damon-Family.org> - 2025-12-10 21:13 -0500
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