Sujet : Re: Comparison of Flibble's and Damon's Views on the Halting Problem
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 15. Jun 2025, 11:13:00
Autres entêtes
Organisation : -
Message-ID : <102m6bc$rgpv$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2025-06-13 14:37:12 +0000, Mr Flibble said:
- Flibble type-stratifies SHD from the program being analyzed, treating
SHD as a meta-level observer.
Thus excluding the halting problem from the scope of his work,
as there no such stratification ithe context of the the halting
problem and in particular not in the problem itself.
- Damon demands a unified semantic model where simulation and execution
must match behaviorally.
That requirement is a trivial consequence of the meaning of "simulation".
- This explains their persistent disagreement: **Flibble separates layers,
Damon merges them.**
No, one cannot merge layers where they don't exist in the first place.
-- Mikko