XPost: comp.theory, sci.logic   
   From: flibble@red-dwarf.jmc.corp   
      
   On Sun, 20 Jul 2025 07:13:43 -0400, Richard Damon wrote:   
      
   > On 7/20/25 12:58 AM, olcott wrote:   
   >> Title: A Structural Analysis of the Standard Halting Problem Proof   
   >>   
   >> Author: PL Olcott   
   >>   
   >> Abstract:   
   >> This paper presents a formal critique of the standard proof of the   
   >> undecidability of the Halting Problem. While we do not dispute the   
   >> conclusion that the Halting Problem is undecidable, we argue that the   
   >> conventional proof fails to establish this conclusion due to a   
   >> fundamental misapplication of Turing machine semantics. Specifically,   
   >> we show that the contradiction used in the proof arises from conflating   
   >> the behavior of encoded simulations with direct execution, and from   
   >> making assumptions about a decider's domain that do not hold under a   
   >> rigorous model of computation.   
   >>   
   >>   
   >>   
   > Your problem is you don't understand the meaning of the words you are   
   > using.   
      
   This is an ad hominem attack, not argumentation.   
      
   /Flibble   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)