Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.software-eng > #3516
| From | Mr Flibble <flibble@reddwarf.jmc> |
|---|---|
| Newsgroups | comp.theory, sci.logic, sci.math, comp.software-eng |
| Subject | Re: Should any program that calls a halt decider be considered pathological? |
| Message-ID | <20220703175545.000061f6@reddwarf.jmc> (permalink) |
| References | <20220703173125.0000646f@reddwarf.jmc> <36adnTZiR-gKWlz_nZ2dnUU7_8xh4p2d@giganews.com> |
| Organization | Jupiter Mining Corp |
| Date | 2022-07-03 17:55 +0100 |
Cross-posted to 4 groups.
On Sun, 3 Jul 2022 11:45:10 -0500 olcott <NoOne@NoWhere.com> wrote: > On 7/3/2022 11:31 AM, Mr Flibble wrote: > > Hi! > > > > Should any program that calls a halt decider be considered > > pathological? > > > > Specifically is a program that calls a halt decider but > > discards the result (rather than behaving differently to what the > > decider decides thereby being an "impossible program") be considered > > pathological? > > > > Olcott's thesis is predicated on all programs that reference a halt > > decider be considered pathological even though his halt decider does > > not return a value to its caller which is counter to the definition > > of a valid halt decider. > > > > /Flibble > > > > That you are trying to refute my paper without even looking at my > paper is both stupid and dishonest. I have no intention of reading your paper until you stop behaving dishonestly in this forum and actually start addressing the points that people are making. /Flibble
Back to comp.software-eng | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Re: Should any program that calls a halt decider be considered pathological? olcott <NoOne@NoWhere.com> - 2022-07-03 11:45 -0500
Re: Should any program that calls a halt decider be considered pathological? Mr Flibble <flibble@reddwarf.jmc> - 2022-07-03 17:55 +0100
Re: Should any program that calls a halt decider be considered pathological? olcott <NoOne@NoWhere.com> - 2022-07-03 12:07 -0500
Re: Should any program that calls a halt decider be considered pathological? Mr Flibble <flibble@reddwarf.jmc> - 2022-07-03 18:12 +0100
Re: Should any program that calls a halt decider be considered pathological? olcott <NoOne@NoWhere.com> - 2022-07-03 12:17 -0500
csiph-web