[tlaplus] Re: A thought when buying coffee today

[Andrew Helwer <andrew.helwer@xxxxxxxxx>]

Not sure I entirely follow; aren't all behaviors (countably) infinite by definition?

Andrew

On Tuesday, June 8, 2021 at 1:46:41 PM UTC-4 hua...@xxxxxxxxx wrote:

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

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/b35c50ea-fc84-4651-ad8b-7aafe0c5580an%40googlegroups.com.