Re: Every D correctly simulated by H never reaches its final state and halts

On 21/05/24 11:39, Mikko wrote:

On 2024-05-20 17:53:59 +0000, olcott said:
 

On 5/20/2024 3:08 AM, Mikko wrote:

More generally, everybody who knows what ∈ usually means,
thinks that {} ∈ X is true unless it is a syntax error.
 

 According to that reasoning everyone
thinks that {cats} ∈ {dogs} is true.

 Apparently your interpretation of either "that reasoning" or
"everyone" is different from mine.
 

You meant the is-subset operator, ⊆
{} ⊆ X is true for every set X.
{} ∈ X is not true for every set X.