Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.software-eng > #3157
| From | Mr Flibble <flibble@reddwarf.jmc> |
|---|---|
| Newsgroups | comp.theory, comp.ai.philosophy, comp.software-eng, sci.math.symbolic |
| Subject | Re: Halting Problem Solved? (Black Box Decider Theory) V2 |
| Message-ID | <20210717174503.00000fa4@reddwarf.jmc> (permalink) |
| References | (4 earlier) <20210717150602.00003bc6@reddwarf.jmc> <scuovq$1q6c$8@news.muc.de> <20210717152448.00006958@reddwarf.jmc> <scupqd$1q6c$9@news.muc.de> <Ybmdndxq7qiVmW79nZ2dnUU7-bHNnZ2d@giganews.com> |
| Organization | Jupiter Mining Corp |
| Date | 2021-07-17 17:45 +0100 |
Cross-posted to 4 groups.
On Sat, 17 Jul 2021 11:23:37 -0500 olcott <NoOne@NoWhere.com> wrote: > Flibble is at least years behind me on this stuff. > I had these same sort of ideas as far back as 2004. > > Correctly deciding the halt status of these "impossible" inputs is > far superior to merely recognizing and rejecting them. Years behind? Perhaps, however I don't plan on spending years of my life on this problem like you have: our time on this planet is finite and precious (there is no afterlife) so given that I am happy for my black box decider to remain an abstract hypothetical concept. /Flibble
Back to comp.software-eng | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Re: Halting Problem Solved? (Black Box Decider Theory) V2 olcott <NoOne@NoWhere.com> - 2021-07-17 11:23 -0500
Re: Halting Problem Solved? (Black Box Decider Theory) V2 Mr Flibble <flibble@reddwarf.jmc> - 2021-07-17 17:45 +0100
Re: Halting Problem Solved? (Black Box Decider Theory) V2 olcott <NoOne@NoWhere.com> - 2021-07-17 12:08 -0500
csiph-web