From Newsgroup: comp.ai.philosophy

On 10/15/2025 3:23 AM, Mikko wrote:

On 2025-10-14 16:04:23 +0000, olcott said:

On 10/14/2025 4:22 AM, Mikko wrote:

On 2025-10-13 16:23:56 +0000, olcott said:

On 10/13/2025 3:07 AM, Richard Heathfield wrote:

On 13/10/2025 08:59, Mikko wrote:

It seems that everyone who has been reading these discussions does >>>>>> understand or soon will that HHH(DD) returns 0 and that the correct >>>>>> value would be 1 because DD halts

Even Mr Olcott, in his darker moments.

LLM systems are 67-fold more powerful than they were
a year ago because their context widow increased from
3,000 words to 200,000 words. This is how much stuff
they can simultaneously keep "in their head".

It is also very valuable to know that these systems are
extremely reliable when their reasoning is limited to
semantic entailment for a well defined set of premises.
In this case AI hallucination cannot possibly occur.

Semantic entailment requires semantics. The only meaning an AI can
attach to any sequence of symbols is the same or anoother sequence
of symbols.

It turns out that has always been the way that analytic
truth has always worked.

No, the usual meanings of analytic truths refer to abstract objects
that usually are other that sequences of symbols.

(1921; Tractatus Logico-Philosophicus, 1922) of Ludwig Wittgenstein.
*This work introduced a new general theory of meaning* https://www.britannica.com/topic/logical-positivism

Nature of analytic philosophy
Analytic philosophers conduct conceptual investigations
that characteristically, though not invariably, involve
studies of the language in which the concepts in question
are, or can be, expressed.
https://www.britannica.com/topic/analytic-philosophy

For example, saying
that every transfinite set is a sequence of symbols is false under the
usual meanings of the words. There is a model of the first order ZFC
where every "set" is a finite string but that model is non-standard.

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2