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 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 Re: No decider is accountable for the computation that itself is contained within, unless that is its input 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 Re: No decider is accountable for 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 UNLESS that is what the input actually describes 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 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 Re: No decider is ever accountable for the behavior of the computation that itself is contained within DETAILS Re: No decider is ever accountable for the behavior of the computation that itself is contained within DETAILS unless that is what the input is representing. Re: No decider is ever accountable for the behavior of the computation that itself is contained within How to prove q is not NPC? Re: How to prove q is not NPC? Re: How to prove q is not NPC? Re: How to prove q is not NPC? Re: How to prove q is not NPC? Re: How to prove q is not NPC? 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) Because I have repeated this same point 500 times in the last three years... Re: Because I have repeated this same point 500 times in the last three years... Re: Because I have repeated this same point 500 times in the last three years... Re: Because Olcott has made this error 500 times in the last three years... Re: Because Olcott has made this error 500 times in the last three years... Re: Because Olcott has made this error 500 times in the last three years... Re: Because Olcott has made this error 500 times in the last three years... Re: Because Olcott has made this error 500 times in the last three years... Re: Because Olcott has made this error 500 times in the last three years... Re: Because Olcott has made this error 500 times in the last three years... Re: Because Olcott has made this error 500 times in the last three years... Re: Because I have repeated this same point 500 times in the last three years... Re: Because I have repeated this same point 500 times in the last three years... Re: Because I have repeated this same point 500 times in the last three years... Re: Because I have repeated this same point 500 times in the last three years... Re: Because I have repeated this same point 500 times in the last three years... Re: Because I have repeated this same point 500 times in the last three years... Re: Truth Bearer or Truth Maker Re: Truth Bearer or Truth Maker Re: Truth Bearer or Truth Maker Re: Truth Bearer or Truth Maker Re: Truth Bearer or Truth Maker Re: Truth Bearer or Truth Maker Re: Truth Bearer or Truth Maker Re: Truth Bearer or Truth Maker Re: Truth Bearer or Truth Maker Re: Truth Bearer or Truth Maker