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

On 6/15/25 11:51 AM, olcott wrote:

On 6/15/2025 5:13 AM, Mikko wrote:

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.
>

 I think that Flibble's analysis is completely consistent
with actual type theory.
 

You would, because you are just that stupid.
Of course, since your concept of logic is how big of a lie can you try to get away with, that was just an expected remark from you.