Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis
Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis ChatGPT totally understands exactly how I refuted the conventional halting problem proof technique Re: ChatGPT totally understands exactly how I refuted the conventional halting problem proof technique Re: ChatGPT totally understands exactly how I refuted the conventional halting problem proof technique Re: ChatGPT totally understands exactly how I refuted the conventional halting problem proof technique Re: ChatGPT totally understands exactly how I refuted the conventional halting problem proof technique Re: ChatGPT totally understands exactly how I refuted the conventional halting problem proof technique Re: ChatGPT totally understands exactly how I refuted the conventional halting problem proof technique Re: ChatGPT totally understands exactly how I refuted the conventional halting problem proof technique Re: ChatGPT totally understands exactly how I refuted the conventional halting problem proof technique Re: ChatGPT totally understands exactly how I refuted the conventional halting problem proof technique Re: ChatGPT totally understands exactly how I refuted the conventional halting problem proof technique Re: ChatGPT totally understands exactly how I refuted the conventional halting problem proof technique Re: ChatGPT totally understands exactly how I refuted the conventional halting problem proof technique Re: ChatGPT totally understands exactly how I refuted the conventional halting problem proof technique Re: ChatGPT totally understands exactly how I refuted the conventional halting problem proof technique Re: ChatGPT totally understands exactly how I refuted the conventional halting problem proof technique How do simulating termination analyzers work? (V2) Re: How do simulating termination analyzers work? (V2) Re: How do simulating termination analyzers work? (V2) Re: How do simulating termination analyzers work? (V2) Re: How do simulating termination analyzers work? (V2) Re: How do simulating termination analyzers work? (V2) Re: How do simulating termination analyzers work? (V2) Re: How do simulating termination analyzers work? (V2) Re: How do simulating termination analyzers work? (V2) Re: How do simulating termination analyzers work? (V2) Re: How do simulating termination analyzers work? (V2)
Re: HP counter-example INPUT cannot possibly exist --- Peter Linz HP Proof Dog Shit: Call my name "jan.ai" (Re: Why do IDEs have Power Save mode?) Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point It has always been impossible to define an INPUT that does the opposite of its halt decider Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Mike can't even count to eight --- HHH(DDD) Re: Mike can't even count to eight --- HHH(DDD) The input to HHH(DDD) specifies a non-halting sequence of configurations +++ Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++ Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++ Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++ Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++ Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++ Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++ Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point Re: Everyone on this forum besides Keith has been a damned liar about this point The input to HHH(DDD) specifies a non-halting sequence of configurations +++ Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++ Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++ Re: Simulation vs. Execution in the Halting Problem --- CHALLENGE Re: Simulation vs. Execution in the Halting Problem --- CHALLENGE Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++ Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++ Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++ Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT Re: HHH(DD) INcorrectly reject its input as non-halting --- VERIFIED FACT Re: HHH(DD) INcorrectly reject its input as non-halting --- VERIFIED FACT Re: HHH(DD) INcorrectly reject its input as non-halting --- VERIFIED FACT Re: HHH(DD) INcorrectly reject its input as non-halting --- VERIFIED FACT Re: HHH(DD) correctly reject its input as non-halting --- VERIFIED FACT Re: HHH(DD) correctly reject its input as non-halting --- VERIFIED FACT Re: HHH(DD) Does correctly reject its input as non-halting --- VERIFIED FACT Re: HHH(DD) Does correctly reject its input as non-halting --- VERIFIED FACT Re: HHH(DD) Does correctly reject its input as non-halting --- VERIFIED FACT Re: HHH(DD) Does correctly reject its input as non-halting --- VERIFIED FACT +++ Re: HHH(DD) Does incorrectly reject its input as non-halting --- VERIFIED FACT +++ and Oclotts VERIFIED LIES Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++ Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++ Mike Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++ Re: Alan Turing's Halting Problem is incorrectly formed The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence --- VERIFIED FACTS Re: The execution trace of HHH1(DDD) shows the divergence Re: The execution trace of HHH1(DDD) shows the divergence --- VERIFIED FACTS Re: The execution trace of HHH1(DDD) shows the divergence --- VERIFIED FACTS Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE DCGs are dead: ROKs transformation from FGCS 1982 long live DGCs: Prolog systems before Stargate LLC in 2025 (Was DCGs are dead: ROKs transformation from FGCS 1982) AI: Choose your favorite McDonald, Burger King, etc.. The story of Sam & Jony FYI, a snapshot of the open math copilot race How the requirements that Professor Sipser agreed to are exactly met Re: How the requirements that Professor Sipser agreed to are exactly met Re: How the requirements that Professor Sipser agreed to are exactly met Re: How the requirements that Professor Sipser agreed to are exactly met Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer Logos 2000: rulial foundations Re: Logos 2000: rulial foundations Re: Logos 2000: rulial foundations Re: Logos 2000: rulial foundations Re: Michael Sipser of MIT validates the notion of a simulating halt decider Re: Michael Sipser of MIT validates the notion of a simulating halt decider Re: Michael Sipser of MIT validates the notion of a simulating halt decider Re: Michael Sipser of MIT validates the notion of a simulating halt decider Improved version: New proof of dark numbers by means of the thinned out harmonic series Improved version: New proof of dark numbers Formal systems that cannot possibly be incomplete except for unknowns and unknowable Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable ---ELABORATED Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable ---ELABORATED Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable Larger Collected Reasoning 2024 Re: Larger Collected Reasoning 2024 Is Rossy Boy the new Archy Boy (Was: Larger Collected Reasoning 2024) Re: Is Rossy Boy the new Archy Boy (Was: Larger Collected Reasoning 2024) USENET is the information panspermia (Was: Is Rossy Boy the new Archy Boy) Re: Is Rossy Boy the new Archy Boy (Was: Larger Collected Reasoning 2024) Re: Is Rossy Boy the new Archy Boy (Was: Larger Collected Reasoning 2024) Re: Is Rossy Boy the new Archy Boy (Was: Larger Collected Reasoning 2024) Re: Is Rossy Boy the new Archy Boy (Was: Larger Collected Reasoning 2024) Re: Is Rossy Boy the new Archy Boy (Was: Larger Collected Reasoning 2024) Re: Is Rossy Boy the new Archy Boy (Was: Larger Collected Reasoning 2024) Re: Is Rossy Boy the new Archy Boy (Was: Larger Collected Reasoning 2024) Re: Is Rossy Boy the new Archy Boy (Was: Larger Collected Reasoning 2024) Re: Is Rossy Boy the new Archy Boy (Was: Larger Collected Reasoning 2024) Re: Is Rossy Boy the new Archy Boy (Was: Larger Collected Reasoning 2024) Re: Larger Collected Reasoning 2024 Re: Larger Collected Reasoning 2024 Re: Larger Collected Reasoning 2024 Re: Larger Collected Reasoning 2024 Re: Larger Collected Reasoning 2024 Re: Larger Collected Reasoning 2024 Re: Larger Collected Reasoning 2024 Re: Larger Collected Reasoning 2024 Re: Larger Collected Reasoning 2024 Re: Larger Collected Reasoning 2024 Re: Larger Collected Reasoning 2024 Re: Larger Collected Reasoning 2024 Re: Larger Collected Reasoning 2024 Re: Larger Collected Reasoning 2024