Forums before death by AOL, social media and spammers... "We can't have nice things"
|    comp.lang.c    |    Meh, in C you gotta define EVERYTHING    |    243,242 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 241,313 of 243,242    |
|    olcott to All    |
|    The Halting Problem is Incoherent    |
|    15 Oct 25 11:18:28    |
      XPost: comp.theory, comp.lang.c++, comp.ai.philosophy       From: polcott333@gmail.com              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