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: How do we know H(P,P)==0 is the correct halt status for the input to H? olcott <NoOne@NoWhere.com> 2021-08-19 09:14 -0500
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? olcott <NoOne@NoWhere.com> 2021-08-19 10:14 -0500
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? olcott <NoOne@NoWhere.com> 2021-08-19 10:23 -0500
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? (possible duplicate) olcott <NoOne@NoWhere.com> 2021-08-19 18:50 -0500
How do we know H(P,P)==0 is the correct halt status for the input to H? (H1 copy of H) olcott <NoOne@NoWhere.com> 2021-08-19 21:53 -0500
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? (possible duplicate) olcott <NoOne@NoWhere.com> 2021-08-20 11:42 -0500
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? (possible duplicate) olcott <NoOne@NoWhere.com> 2021-08-20 11:44 -0500
Updated paper refutes the halting problem proofs olcott <NoOne@NoWhere.com> 2021-08-20 14:21 -0500
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? [ computational dependence ] olcott <NoOne@NoWhere.com> 2021-08-20 16:09 -0500
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? [ computational dependence ] olcott <NoOne@NoWhere.com> 2021-08-20 16:20 -0500
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? [ computational dependence ] olcott <NoOne@NoWhere.com> 2021-08-21 23:01 -0500
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? [ double-talk "rebuttal" ] olcott <NoOne@NoWhere.com> 2021-08-22 11:49 -0500
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? [ distinct computations ] olcott <NoOne@NoWhere.com> 2021-08-22 12:18 -0500
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? [ distinct computations ] olcott <NoOne@NoWhere.com> 2021-08-22 13:32 -0500
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? [ distinct computations ] olcott <NoOne@NoWhere.com> 2021-08-22 15:06 -0500
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? olcott <NoOne@NoWhere.com> 2021-08-23 13:32 -0500
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? [ distinct computations ] olcott <NoOne@NoWhere.com> 2021-08-23 14:51 -0500
Urgent role_Senior Business analyst_ Los Angeles CA_6 month plus C2C Satish Chaturvedi <satish.crotoneits@gmail.com> 2021-08-23 13:34 -0700
H(P,P) is computationally distinct from P(P) olcott <NoOne@NoWhere.com> 2021-08-23 21:11 -0500
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? [ distinct computations ] olcott <NoOne@NoWhere.com> 2021-08-23 22:52 -0500
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? [ distinct computations ] olcott <NoOne@NoWhere.com> 2021-08-24 10:49 -0500
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? [ distinct computations ] olcott <NoOne@NoWhere.com> 2021-08-28 09:36 -0500
That P(P) of main() halts does not contradict H(P,P)==0 [ exception to the rule ] olcott <NoOne@NoWhere.com> 2021-08-28 11:47 -0500
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ air tight proof ] olcott <NoOne@NoWhere.com> 2021-08-29 08:28 -0500
Airtight proof that H(P,P)==0 is correct olcott <NoOne@NoWhere.com> 2021-08-30 09:35 -0500
Re: Airtight proof that H(P,P)==0 is correct olcott <NoOne@NoWhere.com> 2021-08-30 12:15 -0500
Urgent role_Business Analyst in Sales & Distribution of Television - Media_ Universal City, CA_6 month plus C2C Satish Chaturvedi <satish.crotoneits@gmail.com> 2021-08-30 11:10 -0700
Re: Airtight proof that H(P,P)==0 is correct [ deficiency of André's reasoning ] olcott <NoOne@NoWhere.com> 2021-08-30 20:14 -0500
Re: Airtight proof that H(P,P)==0 is correct olcott <NoOne@NoWhere.com> 2021-08-30 21:45 -0500
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ air tight proof ] olcott <NoOne@NoWhere.com> 2021-08-30 23:00 -0500
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ air tight proof ] olcott <NoOne@NoWhere.com> 2021-08-31 09:24 -0500
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ relative invocation order ] olcott <NoOne@NoWhere.com> 2021-08-31 11:08 -0500
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ relative invocation order ] olcott <NoOne@NoWhere.com> 2021-08-31 16:48 -0500
Urgent role_Data Engineer_ Dallas TX (initially remote)_6 month plus C2C Satish Chaturvedi <satish.crotoneits@gmail.com> 2021-09-01 06:56 -0700
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ exception to the rule ] olcott <NoOne@NoWhere.com> 2021-09-01 10:05 -0500
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ Pathological Input ] olcott <NoOne@NoWhere.com> 2021-09-01 21:53 -0500
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ exception to the rule ] olcott <NoOne@NoWhere.com> 2021-09-02 09:15 -0500
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ ignorance ] olcott <NoOne@NoWhere.com> 2021-09-02 10:23 -0500
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ pathological inputs ] olcott <NoOne@NoWhere.com> 2021-09-02 10:34 -0500
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ pathological inputs ] olcott <NoOne@NoWhere.com> 2021-09-02 11:32 -0500
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ ignorance ] olcott <NoOne@NoWhere.com> 2021-09-02 20:42 -0500
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ ignorance ] olcott <NoOne@NoWhere.com> 2021-09-03 09:05 -0500
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ ignorance ] olcott <NoOne@NoWhere.com> 2021-09-03 09:20 -0500
The key mistake of the Peter Linz HP proof olcott <NoOne@NoWhere.com> 2021-09-03 19:18 -0500
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ Linz H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ ] olcott <NoOne@NoWhere.com> 2021-09-03 19:25 -0500
Re: The key mistake of the Peter Linz HP proof olcott <NoOne@NoWhere.com> 2021-09-04 09:06 -0500
Urgent role_.Net Developer_ Dallas TX (initially remote)_6 month plus C2C Satish Chaturvedi <satish.crotoneits@gmail.com> 2021-09-09 05:31 -0700
Urgent role_Java Architect_Los Angeles CA (initially remote) location_6-12 month plus C2C Satish Chaturvedi <satish.crotoneits@gmail.com> 2021-09-13 14:10 -0700
Urgent role_AWS Engineer_New York NY location_6-12 month plus C2C Satish Chaturvedi <satish.crotoneits@gmail.com> 2021-09-14 09:52 -0700
Urgent role_Mac Support Analyst_San Mateo CA (100% ONSITE) location_6-12 month plus C2C Satish Chaturvedi <satish.crotoneits@gmail.com> 2021-09-15 14:47 -0700

« Previous 1 ... 10 11 12 13 14 ... 72 Next »


csiph-web