home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   comp.ai.philosophy      Perhaps we should ask SkyNet about this      59,235 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 58,065 of 59,235   
   olcott to Kaz Kylheku   
   The Halting Problem is Incoherent   
   15 Oct 25 14:11:25   
   
   XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: polcott333@gmail.com   
      
   On 10/15/2025 2:01 PM, Kaz Kylheku wrote:   
   > On 2025-10-15, olcott  wrote:   
   >> On 10/15/2025 12:19 PM, Alan Mackenzie wrote:   
   >>> A much more succinct and accurate explanation is the Peter Olcott is   
   >>> wrong.  That's been clear for a long time, now.   
   >>>   
   >>   
   >> When you start with the conclusion that I must   
   >> be wrong as a stipulated truth then that will   
   >> be the conclusion that you will draw.   
   >   
   > Pretty much everyone new here started by assuming you are right, and   
   > then by so doing, reached obvious falsehoods.   
   >   
   > You've received vast numbers of counter arguments which show that   
   > you cannot be right, rather than just assume it.   
   >   
   > Once someone discovers you are wrong, and that you produce no   
   > new ideas or corrections, you just stay wrong.   
   >   
   > Until you produce something fresh, you do not deserve a fresh assumption   
   > that you might be right; that path is worn out.   
   >   
      
   Ever since 1997 the author has investigated the fundamental   
   nature of “true on the basis of meaning”. The traditional   
   analytic / synthetic distinction is unequivocally demarcated into:   
      
   (a) True on the basis of meaning fully expressed as   
        relations between finite strings.   
      
   (b) True that can only be verified by sense data from the   
        sense organs.   
      
   Any system of reasoning that begins with a consistent set   
   of stipulated truths and only applies the truth preserving   
   operation of semantic logical entailment to this finite   
   set of basic facts inherently derives a truth predicate   
   that works consistently and correctly for this entire body   
   of knowledge that can be expressed in language.   
      
       “The halting problem, as classically formulated,   
        relies on an inferential step that is not justified   
        by a continuous chain of semantic entailment from   
        its initial stipulations.”   
        ...   
       "The halting problem’s definition contains a break   
        in the chain of semantic entailment; it asserts   
        totality over a domain that its own semantics cannot   
        support."   
      
   https://www.researchgate.net/publication/396510896_The_Halting_P   
   oblem_is_Incoherent   
      
   Link to the following dialogue   
   https://chatgpt.com/share/68ef97b5-6770-8011-9aad-323009ca7841   
      
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca