Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Analysis of "And those are the facts"
Date: Sun, 15 Jun 2025 12:06:57 +0300
Organization: -
Lines: 28
Message-ID: <102m2fh$qjac$1@dont-email.me>
References: <05X2Q.138104$v0S.85910@fx14.ams4>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 15 Jun 2025 11:06:58 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1939c4df549281b075671edfe39ddeb2";
	logging-data="871756"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18ZfIoK1CFQXeqHhFhs0YTC"
User-Agent: Unison/2.2
Cancel-Lock: sha1:2pTLOAJZZ/smqudiL6oZOZA4IKw=

On 2025-06-13 15:03:24 +0000, Mr Flibble said:

>> "A simulating halt decider (SHD) must always halt (i.e. provide
>> a halting decision about its input) irregardless of whether or
>> not its input halts.
>> And those are the facts."

....

> ### 4. **Philosophical Implication: "Facts" vs Framework**
> 
> Flibble ends with “those are the facts,” reinforcing his assertion that
> this is **not just a design**, but a **semantically and logically coherent
> model**.

No, that is not what the words mean. A fact is a statement about the
world as it actually is. No models are relevant except to the extent
they may help to express the fact and determine that it really is one.
A semantically and logically coherent model is not a fact.

Anyway, the ssentence before the sentence "And those are the facts"
is not a fact. It is a requirement. It says nothing about the real
world but only expresses its author's opinion about the emaning of
the expression "simulating halt decder". An opinion is not fact.

-- 
Mikko