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: Halting problem erroneously defined olcott <NoOne@NoWhere.com> 2021-07-16 13:39 -0500
Re: Halting Problem Solved (Black Box Decider Theory) olcott <NoOne@NoWhere.com> 2021-07-16 14:56 -0500
Re: Halting Problem Solved (Black Box Decider Theory) olcott <NoOne@NoWhere.com> 2021-07-16 15:00 -0500
Re: Halting problem erroneously defined olcott <NoOne@NoWhere.com> 2021-07-16 15:09 -0500
Re: Halting problem erroneously defined olcott <NoOne@NoWhere.com> 2021-07-16 16:06 -0500
Re: Halting Problem proofs appear to be bogus! olcott <NoOne@NoWhere.com> 2021-07-16 16:20 -0500
Re: Halting problem erroneously defined olcott <NoOne@NoWhere.com> 2021-07-16 17:24 -0500
Re: Halting Problem Solved (Black Box Decider Theory) olcott <NoOne@NoWhere.com> 2021-07-16 17:32 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ](and Flibble) olcott <NoOne@NoWhere.com> 2021-07-16 21:48 -0500
Re: Halting Problem Solved (Black Box Decider Theory)[ Strachey P ] olcott <NoOne@NoWhere.com> 2021-07-16 23:15 -0500
Re: Halting Problem Solved (Black Box Decider Theory)[ Strachey P ] olcott <NoOne@NoWhere.com> 2021-07-17 09:37 -0500
Re: Halting Problem Solved (Black Box Decider Theory) David Brown <david.brown@hesbynett.no> 2021-07-17 16:47 +0200
Re: Halting problem erroneously defined [AM] olcott <NoOne@NoWhere.com> 2021-07-17 10:11 -0500
Re: Halting problem erroneously defined olcott <NoOne@NoWhere.com> 2021-07-17 10:22 -0500
Re: Halting Problem Solved [ Ben admits that he lied ] olcott <NoOne@NoWhere.com> 2021-07-17 10:35 -0500
Re: Halting Problem proofs appear to be bogus! olcott <NoOne@NoWhere.com> 2021-07-17 10:52 -0500
Re: Halting problem erroneously defined olcott <NoOne@NoWhere.com> 2021-07-17 11:05 -0500
Re: Halting Problem Solved? (Black Box Decider Theory) V2 olcott <NoOne@NoWhere.com> 2021-07-17 11:13 -0500
Re: Halting Problem Solved? (Black Box Decider Theory) V2 olcott <NoOne@NoWhere.com> 2021-07-17 11:17 -0500
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) [ Flibble is correct ] olcott <NoOne@NoWhere.com> 2021-07-17 11:40 -0500
Re: Halting Problem Solved? (Black Box Decider Theory) V2 Mr Flibble <flibble@reddwarf.jmc> 2021-07-17 17:45 +0100
The nature of correct proofs olcott <NoOne@NoWhere.com> 2021-07-17 11:48 -0500
Re: Halting Problem Solved? (Black Box Decider Theory) [ Rice's Theorem ] olcott <NoOne@NoWhere.com> 2021-07-17 11:53 -0500
Re: Halting Problem Solved (Black Box Decider Theory)[ Strachey P ] olcott <NoOne@NoWhere.com> 2021-07-17 12:06 -0500
Re: Halting Problem Solved? (Black Box Decider Theory) V2 olcott <NoOne@NoWhere.com> 2021-07-17 12:08 -0500
Re: Halting problem erroneously defined [AM] olcott <NoOne@NoWhere.com> 2021-07-17 13:26 -0500
X86 based simulating halt decider H correctly decides halt status of pathological input P(P) olcott <NoOne@NoWhere.com> 2021-07-17 13:36 -0500
Re: X86 based simulating halt decider H correctly decides halt status of pathological input P(P) olcott <NoOne@NoWhere.com> 2021-07-17 14:40 -0500
Re: Halting Problem Solved? (Black Box Decider Theory) V2 olcott <NoOne@NoWhere.com> 2021-07-17 15:19 -0500
Simulating halt decider H correctly decides halt status of pathological inputs (V2) olcott <NoOne@NoWhere.com> 2021-07-17 16:07 -0500
Re: Halting Problem Solved? (Black Box Decider Theory) V2 olcott <NoOne@NoWhere.com> 2021-07-17 16:48 -0500
Re: Halting Problem Solved (Black Box Decider Theory) [ Flibble is correct ] David Brown <david.brown@hesbynett.no> 2021-07-18 11:43 +0200
Urgent role_QA With Release Management_ San Francisco, CA_6 month plus C2C Satish Chaturvedi <satish.crotoneits@gmail.com> 2021-07-19 02:16 -0700
Re: Halting Problem Solved [ Pathological self-reference error (Olcott 2004) ] olcott <NoOne@NoWhere.com> 2021-07-19 08:41 -0500
Re: Halting Problem Solved olcott <NoOne@NoWhere.com> 2021-07-19 08:43 -0500
Re: Halting Problem Solved? (Black Box Decider Theory) V2 olcott <NoOne@NoWhere.com> 2021-07-19 08:58 -0500
Re: Proof by contradiction? HP solved. [ pathology removed ] olcott <NoOne@NoWhere.com> 2021-07-19 09:04 -0500
Re: Halting Problem Solved olcott <NoOne@NoWhere.com> 2021-07-19 09:16 -0500
Re: Proof by contradiction? HP solved. [ PSR Error ] olcott <NoOne@NoWhere.com> 2021-07-19 09:19 -0500
Re: Halting Problem Solved (Black Box Decider Theory)[ Strachey P ] olcott <NoOne@NoWhere.com> 2021-07-19 09:41 -0500
Re: Halting Problem Solved olcott <NoOne@NoWhere.com> 2021-07-19 09:43 -0500
Re: Undecidablity of halting problem and pathological programs olcott <NoOne@NoWhere.com> 2021-07-19 09:45 -0500
Re: Halting Problem Solved (Black Box Decider Theory) [ Flibble is correct ] olcott <NoOne@NoWhere.com> 2021-07-19 09:48 -0500
Re: Simulating halt decider H correctly decides halt status of pathological inputs (V2) olcott <NoOne@NoWhere.com> 2021-07-19 09:50 -0500
Re: Halting Problem Solved [ Ben admits that he lied ] olcott <NoOne@NoWhere.com> 2021-07-19 09:55 -0500
Re: Halting Problem Solved (Black Box Decider Theory) [Ben is a liar ] olcott <NoOne@NoWhere.com> 2021-07-19 10:02 -0500
Re: Halting problem erroneously defined olcott <NoOne@NoWhere.com> 2021-07-19 10:09 -0500
Re: Halting Problem proofs appear to be bogus! olcott <NoOne@NoWhere.com> 2021-07-19 10:10 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ](and Flibble) olcott <NoOne@NoWhere.com> 2021-07-19 10:11 -0500

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

csiph-web