|
Subject
|
Author
|
Date [asc]
|
|
Re: André doesn't know Rice's Theorem [ Malcolm ] [ self-contradiction must be treated differently ]
|
olcott <NoOne@NoWhere.com> |
2021-07-28 22:51 -0500 |
|
Re: André doesn't know Rice's Theorem [ Malcolm ] [ self-contradiction must be treated differently ]
|
olcott <NoOne@NoWhere.com> |
2021-07-28 23:31 -0500 |
|
Re: André doesn't know Rice's Theorem [ Malcolm ] [ self-contradiction must be treated differently ]
|
olcott <NoOne@NoWhere.com> |
2021-07-29 12:39 -0500 |
|
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ]
|
olcott <NoOne@NoWhere.com> |
2021-07-29 13:15 -0500 |
|
Re: HP proofs appear to be peer reviewed garbage
|
olcott <NoOne@NoWhere.com> |
2021-07-29 16:04 -0500 |
|
Re: HP proofs appear to be peer reviewed garbage
|
olcott <NoOne@NoWhere.com> |
2021-07-29 16:06 -0500 |
|
Re: HP proofs appear to be peer reviewed garbage
|
olcott <NoOne@NoWhere.com> |
2021-07-29 16:28 -0500 |
|
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ]
|
olcott <NoOne@NoWhere.com> |
2021-07-29 17:50 -0500 |
|
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ]
|
olcott <NoOne@NoWhere.com> |
2021-07-29 19:54 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? )
|
olcott <NoOne@NoWhere.com> |
2021-07-29 21:05 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ]
|
olcott <NoOne@NoWhere.com> |
2021-07-29 21:28 -0500 |
|
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ]
|
olcott <NoOne@NoWhere.com> |
2021-07-29 23:34 -0500 |
|
Pathological self-reference(Olcott 2004) decider
|
olcott <NoOne@NoWhere.com> |
2021-07-30 00:09 -0500 |
|
Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ]
|
olcott <NoOne@NoWhere.com> |
2021-07-30 08:46 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? )
|
olcott <NoOne@NoWhere.com> |
2021-07-30 09:35 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ]
|
olcott <NoOne@NoWhere.com> |
2021-07-30 09:54 -0500 |
|
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ]
|
olcott <NoOne@NoWhere.com> |
2021-07-30 10:40 -0500 |
|
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ]
|
olcott <NoOne@NoWhere.com> |
2021-07-30 10:58 -0500 |
|
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ]
|
olcott <NoOne@NoWhere.com> |
2021-07-30 13:45 -0500 |
|
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ]
|
olcott <NoOne@NoWhere.com> |
2021-07-30 16:43 -0500 |
|
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ]
|
olcott <NoOne@NoWhere.com> |
2021-07-30 16:53 -0500 |
|
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ]
|
olcott <NoOne@NoWhere.com> |
2021-07-30 18:44 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ]
|
olcott <NoOne@NoWhere.com> |
2021-07-30 20:16 -0500 |
|
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ]
|
olcott <NoOne@NoWhere.com> |
2021-07-30 21:33 -0500 |
|
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ]
|
olcott <NoOne@NoWhere.com> |
2021-07-31 10:20 -0500 |
|
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ][ How can H ignore own behavior? ]
|
olcott <NoOne@NoWhere.com> |
2021-07-31 14:52 -0500 |
|
Re: The HP does not exist as stated .. [ Simulating halt deciders ]
|
olcott <NoOne@NoWhere.com> |
2021-07-31 16:15 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ]
|
olcott <NoOne@NoWhere.com> |
2021-07-31 21:20 -0500 |
|
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ]
|
olcott <NoOne@NoWhere.com> |
2021-07-31 21:34 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ]
|
olcott <NoOne@NoWhere.com> |
2021-08-01 09:45 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ][ GIGO ]
|
olcott <NoOne@NoWhere.com> |
2021-08-01 10:02 -0500 |
|
Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn [ succinct ]
|
olcott <NoOne@NoWhere.com> |
2021-08-01 11:02 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ]
|
olcott <NoOne@NoWhere.com> |
2021-08-01 14:45 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? )
|
olcott <NoOne@NoWhere.com> |
2021-08-01 22:17 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ]
|
olcott <NoOne@NoWhere.com> |
2021-08-01 22:45 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ]
|
olcott <NoOne@NoWhere.com> |
2021-08-01 22:56 -0500 |
|
Re: Definition of primitive recursive function (wiki) [ H(P,P)==0 is always correct ]
|
olcott <NoOne@NoWhere.com> |
2021-08-02 11:54 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? )
|
olcott <NoOne@NoWhere.com> |
2021-08-02 13:16 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? )
|
olcott <NoOne@NoWhere.com> |
2021-08-02 13:25 -0500 |
|
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ]
|
olcott <NoOne@NoWhere.com> |
2021-08-02 13:37 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ]
|
olcott <NoOne@NoWhere.com> |
2021-08-02 15:53 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ]
|
olcott <NoOne@NoWhere.com> |
2021-08-02 19:55 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ]
|
olcott <NoOne@NoWhere.com> |
2021-08-02 21:11 -0500 |
|
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ]
|
olcott <NoOne@NoWhere.com> |
2021-08-02 22:39 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? )
|
olcott <NoOne@NoWhere.com> |
2021-08-03 08:00 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? )
|
olcott <NoOne@NoWhere.com> |
2021-08-03 10:21 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? )
|
olcott <NoOne@NoWhere.com> |
2021-08-03 14:26 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? )
|
olcott <NoOne@NoWhere.com> |
2021-08-03 15:47 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? )
|
olcott <NoOne@NoWhere.com> |
2021-08-03 16:03 -0500 |
|
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? )
|
olcott <NoOne@NoWhere.com> |
2021-08-03 16:50 -0500 |