A thought when buying coffee today

21 views
Skip to first unread message

Huailin

unread,
Jun 8, 2021, 1:46:41 PMJun 8
to tlaplus
Team,

Just drove back from Starbucks. 

Why a thought suddenly hit me as below:

The total number steps of "Infinitely Many Impossible"(for WF) is EXACT SAME SIZE as the number steps of "Eventually Always Impossible"(for SF).

The two SET size is the same. 

The proof is pretty straightforward. Same as how we prove: Nature Number is the same size as Even number.

Michael

Andrew Helwer

unread,
Jun 8, 2021, 4:16:55 PMJun 8
to tlaplus
Not sure I entirely follow; aren't all behaviors (countably) infinite by definition?

Andrew

Huailin

unread,
Jun 8, 2021, 4:35:51 PMJun 8
to tla...@googlegroups.com
yeah. I just realized that ALWAYS actually has the same MANY as "Infinitely Many/Often"

--
You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/ewJcG8v7hSw/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/b35c50ea-fc84-4651-ad8b-7aafe0c5580an%40googlegroups.com.
Reply all
Reply to author
Forward
0 new messages