olcott <polcott333@gmail.com> wrote:Ever since 1997 the author has investigated the fundamentalOn 10/15/2025 12:19 PM, Alan Mackenzie wrote:[ .... ]olcott <polcott333@gmail.com> wrote:On 10/15/2025 11:38 AM, Kaz Kylheku wrote:On 2025-10-15, olcott <polcott333@gmail.com> wrote:
You can build an input which incorporates a decision algorithm H, a
diagonal wrapper D, encode it into a finite string, and then have the
string processed by an implementation of algorithm H.The string is a syntactically and semantically valid machine
representation and therefore lands squarely into the required domain.Please see my new post it can be explained much
more succinctly: [The Halting Problem is Incoherent]A much more succinct and accurate explanation is that Peter Olcott is
wrong. That's been clear for a long time, now.When you start with the conclusion that I mustI didn't start with that conclusion. I came to it as the inevitable
be wrong as a stipulated truth then that will
be the conclusion that you will draw.
result of reading hundreds of your posts, and not recalling a single true
or coherent thing you have written.
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_Problem_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
Les messages affichés proviennent d'usenet.