|
Subject
|
Author
|
Date [asc]
|
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? )
|
olcott <NoOne@NoWhere.com> |
2021-08-03 19:42 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ]
|
olcott <NoOne@NoWhere.com> |
2021-08-03 22:23 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ]( Honest Dialogue )
|
olcott <NoOne@NoWhere.com> |
2021-08-04 10:11 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ]
|
olcott <NoOne@NoWhere.com> |
2021-08-04 10:14 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ][ GIGO ]
|
olcott <NoOne@NoWhere.com> |
2021-08-04 10:48 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ]
|
olcott <NoOne@NoWhere.com> |
2021-08-04 11:15 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ][ GIGO ]
|
olcott <NoOne@NoWhere.com> |
2021-08-04 17:31 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ]
|
olcott <NoOne@NoWhere.com> |
2021-08-04 17:38 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ]
|
olcott <NoOne@NoWhere.com> |
2021-08-05 07:07 -0500 |
|
Anyone wanting an actual honestly dialogue on the proof that H(P,P)==0 is correct
|
olcott <NoOne@NoWhere.com> |
2021-08-05 12:42 -0500 |
|
Anyone wanting an actual honest dialogue on the proof that H(P,P)==0 is correct
|
olcott <NoOne@NoWhere.com> |
2021-08-05 12:51 -0500 |
|
Honest dialogue on the proof that H(P,P)==0 is correct [proof defined]
|
olcott <NoOne@NoWhere.com> |
2021-08-06 10:59 -0500 |
|
Re: Honest dialogue on the proof that H(P,P)==0 is correct
|
olcott <NoOne@NoWhere.com> |
2021-08-07 08:54 -0500 |
|
Re: Honest dialogue on the proof that H(P,P)==0 is correct [ easy as 1,2,3 ]
|
olcott <NoOne@NoWhere.com> |
2021-08-07 10:29 -0500 |
|
Re: Honest dialogue on the proof that H(P,P)==0 is correct [ easy as 1,2,3 ]
|
olcott <NoOne@NoWhere.com> |
2021-08-07 11:45 -0500 |
|
Re: Honest dialogue on the proof that H(P,P)==0 is correct [ easy as 1,2,3 ]
|
olcott <NoOne@NoWhere.com> |
2021-08-07 15:19 -0500 |
|
Re: Honest dialogue on the proof that H(P,P)==0 is correct [ easy as 1,2,3 ]
|
olcott <NoOne@NoWhere.com> |
2021-08-07 16:12 -0500 |
|
Re: Honest dialogue on the proof that H(P,P)==0 is correct [proof defined]
|
olcott <NoOne@NoWhere.com> |
2021-08-09 11:57 -0500 |
|
Re: Honest dialogue on the proof that H(P,P)==0 is correct [proof defined]
|
olcott <NoOne@NoWhere.com> |
2021-08-09 14:52 -0500 |
|
Re: Honest dialogue on the proof that H(P,P)==0 is correct [proof defined]
|
olcott <NoOne@NoWhere.com> |
2021-08-09 16:12 -0500 |
|
Re: Honest dialogue on the proof that H(P,P)==0 is correct [proof defined]
|
olcott <NoOne@NoWhere.com> |
2021-08-09 16:37 -0500 |
|
Re: Honest dialogue on the proof that H(P,P)==0 is correct [proof defined]
|
olcott <NoOne@NoWhere.com> |
2021-08-09 17:21 -0500 |
|
Re: Honest dialogue on the proof that H(P,P)==0 is correct [proof defined]
|
olcott <NoOne@NoWhere.com> |
2021-08-09 17:45 -0500 |
|
Re: Honest dialogue on the proof that H(P,P)==0 is correct [proof defined]
|
olcott <NoOne@NoWhere.com> |
2021-08-10 10:07 -0500 |
|
Re: Honest dialogue on the proof that H(P,P)==0 is correct [proof defined]
|
olcott <NoOne@NoWhere.com> |
2021-08-10 11:59 -0500 |
|
Re: Honest dialogue on the proof that H(P,P)==0 is correct [proof defined]
|
olcott <NoOne@NoWhere.com> |
2021-08-11 08:42 -0500 |
|
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Is Ben a Liar or simply woefully ignorant? ]
|
olcott <NoOne@NoWhere.com> |
2021-08-11 09:28 -0500 |
|
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Is Ben a Liar or simply woefully ignorant? ]
|
olcott <NoOne@NoWhere.com> |
2021-08-11 09:58 -0500 |
|
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Is Ben a Liar or simply woefully ignorant? ]
|
olcott <NoOne@NoWhere.com> |
2021-08-11 14:53 -0500 |
|
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Is Ben a Liar or simply woefully ignorant? ]
|
olcott <NoOne@NoWhere.com> |
2021-08-11 19:26 -0500 |
|
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction.
|
olcott <NoOne@NoWhere.com> |
2021-08-11 21:03 -0500 |
|
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Halting Problem is solved for Ĥ on ⟨Ĥ⟩ ]
|
olcott <NoOne@NoWhere.com> |
2021-08-11 21:14 -0500 |
|
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (typo fixed )
|
olcott <NoOne@NoWhere.com> |
2021-08-12 15:36 -0500 |
|
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction.
|
olcott <NoOne@NoWhere.com> |
2021-08-13 08:30 -0500 |
|
Any high school student knowing the x86 language can confirm this:
|
olcott <NoOne@NoWhere.com> |
2021-08-14 09:24 -0500 |
|
How do we know H(P,P)==0 is the correct halt status for the input to H?
|
olcott <NoOne@NoWhere.com> |
2021-08-14 10:07 -0500 |
|
How do we know H(P,P)==0 is the correct halt status for the input to H?
|
olcott <NoOne@NoWhere.com> |
2021-08-14 10:17 -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-14 10:50 -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-14 11:16 -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-14 12:22 -0500 |
|
Re: Any high school student knowing the x86 language can confirm this:
|
Jeff Barnett <jbb@notatt.com> |
2021-08-14 12:40 -0600 |
|
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-14 13:44 -0500 |
|
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? (HTML for fixed width font)
|
olcott <NoOne@NoWhere.com> |
2021-08-14 15:05 -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-14 15:52 -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-14 16: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-15 08:36 -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-15 11:44 -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-15 12:16 -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-15 12:25 -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-16 17:49 -0500 |