Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.software-eng

comp.software-eng

3579 articles (numbers 24 – 3985) — threaded view

| Advanced

Subject Author Date [asc]
Re: Olcott's theory [ Flibble understands pathological self reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> 2021-07-19 14:33 -0500
Re: Halting problem erroneously defined olcott <NoOne@NoWhere.com> 2021-07-19 15:45 -0500
Re: Halting problem erroneously defined olcott <NoOne@NoWhere.com> 2021-07-19 15:49 -0500
Re: Halting Problem Solved? (Black Box Decider Theory) V2 olcott <NoOne@NoWhere.com> 2021-07-20 08:25 -0500
Re: Olcott's theory olcott <NoOne@NoWhere.com> 2021-07-20 08:41 -0500
Re: Olcott's theory [ Flibble agrees that I am correct ] olcott <NoOne@NoWhere.com> 2021-07-20 08:44 -0500
Re: Olcott's theory [ Flibble understands pathological self reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> 2021-07-20 08:52 -0500
Re: Simulating halt decider H correctly decides halt status of pathological inputs (V2) olcott <NoOne@NoWhere.com> 2021-07-20 09:11 -0500
Re: Halting Problem Solved [ Ben admits that he lied ] olcott <NoOne@NoWhere.com> 2021-07-20 09:22 -0500
Re: Halting Problem proofs appear to be bogus! olcott <NoOne@NoWhere.com> 2021-07-20 09:24 -0500
Re: Halting problem erroneously defined olcott <NoOne@NoWhere.com> 2021-07-20 09:29 -0500
Re: Halting Problem Solved [ Ben admits that he lied ] olcott <NoOne@NoWhere.com> 2021-07-20 10:18 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) olcott <NoOne@NoWhere.com> 2021-07-20 13:26 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) olcott <NoOne@NoWhere.com> 2021-07-20 14:04 -0500
Re: Olcott's theory olcott <NoOne@NoWhere.com> 2021-07-20 14:41 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) olcott <NoOne@NoWhere.com> 2021-07-20 18:20 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) olcott <NoOne@NoWhere.com> 2021-07-20 21:04 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) olcott <NoOne@NoWhere.com> 2021-07-20 22:06 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) olcott <NoOne@NoWhere.com> 2021-07-20 22:53 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) olcott <NoOne@NoWhere.com> 2021-07-20 23:24 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) [ DOES NOT HOLD ] olcott <NoOne@NoWhere.com> 2021-07-21 09:11 -0500
Re: Olcott's theory olcott <NoOne@NoWhere.com> 2021-07-21 09:40 -0500
Re: Halting Problem Solved [ Ben admits that he lied ] [ H(P,P)==0 is correct ] olcott <NoOne@NoWhere.com> 2021-07-21 09:48 -0500
Re: Olcott's theory olcott <NoOne@NoWhere.com> 2021-07-21 11:00 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) [ Paradox rather than contradiction ] olcott <NoOne@NoWhere.com> 2021-07-21 11:45 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) [ global halt decider ] olcott <NoOne@NoWhere.com> 2021-07-21 12:23 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) [ Paradox rather than contradiction ] olcott <NoOne@NoWhere.com> 2021-07-21 12:51 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) [ Paradox rather than contradiction ] olcott <NoOne@NoWhere.com> 2021-07-21 13:49 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) [ Paradox rather than contradiction ] olcott <NoOne@NoWhere.com> 2021-07-21 14:43 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) [ Paradox rather than contradiction ] olcott <NoOne@NoWhere.com> 2021-07-21 15:29 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) [ Paradox rather than contradiction ][ADD] olcott <NoOne@NoWhere.com> 2021-07-21 16:07 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) [ Paradox rather than contradiction ] olcott <NoOne@NoWhere.com> 2021-07-21 16:22 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) [ global halt decider ] olcott <NoOne@NoWhere.com> 2021-07-21 16:29 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) [ Paradox rather than contradiction ][ADD] olcott <NoOne@NoWhere.com> 2021-07-21 16:50 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) [ Paradox rather than contradiction ] olcott <NoOne@NoWhere.com> 2021-07-21 17:21 -0500
Re: Halting Problem Solved? ( H(P,P)==0 is correct ) [ Paradox rather than contradiction ] olcott <NoOne@NoWhere.com> 2021-07-21 20:21 -0500
Re: Halting Problem Solved olcott <NoOne@NoWhere.com> 2021-07-21 20:57 -0500
Re: Halting Problem Solved olcott <NoOne@NoWhere.com> 2021-07-21 22:25 -0500
Re: Halting Problem Solved olcott <NoOne@NoWhere.com> 2021-07-21 23:40 -0500
Re: Halting Problem Solved olcott <NoOne@NoWhere.com> 2021-07-22 08:04 -0500
Re: Halting Problem Solved (title is a misnomer) olcott <NoOne@NoWhere.com> 2021-07-22 09:52 -0500
How is H(P,P)==0 correct even though P(P) stops running? olcott <NoOne@NoWhere.com> 2021-07-22 10:51 -0500
Re: How is H(P,P)==0 correct even though P(P) stops running? olcott <NoOne@NoWhere.com> 2021-07-22 11:15 -0500
Re: How is H(P,P)==0 correct even though P(P) stops running? olcott <NoOne@NoWhere.com> 2021-07-22 13:16 -0500
Re: How is H(P,P)==0 correct even though P(P) stops running? olcott <NoOne@NoWhere.com> 2021-07-22 14:17 -0500
Re: Halting Problem Solved olcott <NoOne@NoWhere.com> 2021-07-22 16:47 -0500
Re: How is H(P,P)==0 correct even though P(P) stops running? olcott <NoOne@NoWhere.com> 2021-07-22 17:18 -0500
Re: Halting Problem Solved olcott <NoOne@NoWhere.com> 2021-07-22 18:22 -0500
Re: How is H(P,P)==0 correct even though P(P) stops running? olcott <NoOne@NoWhere.com> 2021-07-22 18:25 -0500
Re: Halting Problem Solved olcott <NoOne@NoWhere.com> 2021-07-23 08:36 -0500

« Previous 1 ... 14 15 16 17 18 ... 72 Next »


csiph-web