Re: Comparison of Flibble's and Damon's Views on the Halting Problem

Liste des GroupesRevenir à theory 
Sujet : Re: Comparison of Flibble's and Damon's Views on the Halting Problem
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 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

Date Sujet#  Auteur
15 Jun 25 * Re: Comparison of Flibble's and Damon's Views on the Halting Problem4Mikko
15 Jun 25 `* Re: Comparison of Flibble's and Damon's Views on the Halting Problem3olcott
15 Jun 25  +- Re: Comparison of Flibble's and Damon's Views on the Halting Problem1Richard Damon
16 Jun 25  `- Re: Comparison of Flibble's and Damon's Views on the Halting Problem1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal