Re: Analysis of "And those are the facts"

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