Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V2
Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting --- last chance Re: DDD correctly emulated by HHH is Correctly rejected as non-halting --- last chance Re: DDD correctly emulated by HHH is Correctly rejected as non-halting --- proved to be a liar Re: DDD correctly emulated by HHH is Correctly rejected as non-halting --- proved to be a liar Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn --- black swan Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ incorrectly computes the mapping from its input to Ĥ.qn Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: not identical deciders Re: not identical deciders Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V2 ---woefully mistaken claims Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V2 ---woefully mistaken logic Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V2 ---woefully mistaken emulation Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD incorrectly emulated by HHH is INCorrectly rejected as non-halting V2 Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 --- key point needing review Re: DDD incorrectly emulated by HHH is INCorrectly rejected as non-halting V2 --- key point needing review Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD incorrectly emulated by HHH is INCorrectly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V2 Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD INcorrectly emulated by HHH is INcorrectly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD incorrectly emulated by HHH is incorrectly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace Re: HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace Re: HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion) Re: HHH(DDD) does not see the exact same behavior pattern as HHH(Infinite_Recursion) Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion) Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion) Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion) unless it can abort. Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion) Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion) Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion) Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion) Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion) Re: HHH(DDD) does not see the exact same behavior pattern as HHH(Infinite_Recursion) OLCOTTS ERROR Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion) Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion) Linz proof is essentially isomorphic Re: Linz proof is essentially isomorphic Re: Linz proof is essentially isomorphic Re: Linz proof is essentially isomorphic Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion) Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ correctly transitions to Ĥ.qn Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace Re: This function proves that only the outermost HHH examines the execution trace test Re: test Re: test No decider is ever accountable for the behavior of the computation that itself is contained within Re: No decider is ever accountable for the behavior of the computation that itself is contained within Re: No decider is ever accountable for the behavior of the computation that itself is contained within Re: No decider is ever accountable for the behavior of the computation that itself is contained within (unless that is its input) Re: No decider is ever accountable for the behavior of the computation that itself is contained within Re: No decider is ever accountable for the behavior of the computation that itself is contained within (unless that is its input) Re: No decider is ever accountable for the behavior of the computation that itself is contained within Re: No decider is ever accountable for the behavior of the computation that itself is contained within (Unless that is its input) Re: No decider is ever accountable for the behavior of the computation that itself is contained within Re: No decider is ever accountable for the behavior of the computation that itself is contained within Re: No decider is ever accountable for the behavior of the computation that itself is contained within Re: No decider is ever accountable for the behavior of the computation that itself is contained within, unless that is what the input descriibes Re: No decider is ever accountable for the behavior of the computation that itself is contained within Re: No decider is ever accountable for the behavior of the computation that itself is contained within Re: No decider is accountable for the computation that itself is contained within Re: No decider is accountable for the computation that itself is contained within Re: No decider is accountable for the computation that itself is contained within Re: No decider is accountable for the computation that itself is contained within Re: No decider is accountable for the computation that itself is contained within Re: No decider is accountable for the computation that itself is contained within Re: No decider is accountable for the computation that itself is contained within, unless that is its input