Sujet : Re: Every D correctly simulated by H never reaches its final state and halts
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theoryDate : 21. May 2024, 10:54:48
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v2hr18$hkph$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13
User-Agent : Mozilla Thunderbird
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.
Re: Every D correctly simulated by H never reaches its final state and halts
Re: Every D correctly simulated by H never reaches its final state and halts