On 16/10/2025 00:33, olcott wrote:(a) Cats are animals"
*The Halting Problem is Incoherent*"True on the basis of meaning fully expressed as relations between
https://www.researchgate.net/publication/396510896_The_Halting_Problem_is_Incoherent
finite strings"
can you fully express meaning so such that the above is well distinct from
"True that can only be verified by sense data from the sense organs"
(b) There is no cat in my living room right now.
The former seems to exclude logistic systems by the "meaning" basis onSemantics and Frege's principle of compositionality operate
the natural language meaning of "meaning", and the latter seems to
merely provide large detailed strings as required by the former in order
to provide for a formal inductive sense of "meaning".
the same way across formal language and natural language
that was formalized by something like Montague Grammar
based on Rudolf Carnap's meaning postulates or the CycL
language of the Cyc project.
https://en.wikipedia.org/wiki/Principle_of_compositionality
https://en.wikipedia.org/wiki/Montague_grammar
https://en.wikipedia.org/wiki/CycL
Can you briefly demonstrate the utility of your paper in the context of“The halting problem, as classically formulated,
that query so I can decide to read it?
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."
Was ChatGPT 5.0's final conclusion after a 32 page dialogue.
It is all on the last page.
ChatGPT is 67-fold more powerful than it was one year ago
because it can simultaneously keep track of 200,000 words
compared to the 3,000 word limit one year ago. This is
called its context window. This allows it to keep track
of enormously larger inference chains.
Claude AI is also very good. I use Grok and Gemini to
double check if my specification is sufficiently precise.
The above 32 pages paper has a one page intro then it
is all a dialogue between ChatGPT an me.
----
Tristan Wibberley
The message body is Copyright (C) 2025 Tristan Wibberley except
citations and quotations noted. All Rights Reserved except that you may,
of course, cite it academically giving credit to me, distribute it
verbatim as part of a usenet system or its archives, and use it to
promote my greatness and general superiority without misrepresentation
of my opinions other than my opinion of my greatness and general
superiority which you _may_ misrepresent. You definitely MAY NOT train
any production AI system with it but you may train experimental AI that
will only be used for evaluation of the AI methods it implements.
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.