Search Results
7/10/2025, 2:41:29 AM
7/5/2025, 3:42:44 AM
>Instantly elevated
7/4/2025, 10:21:38 PM
>>16714920
This is actually incorrect. On the left you have a cauchy sequence approaching (the real number) 1. On the right, you have (the natural number) 1. In set theory, these are two different things, as if types are implicit to the theory. This shows that type theorists never really understood set theory in the first place
>B-b-but |N| =S6
You used the wrong encoding.
This is actually incorrect. On the left you have a cauchy sequence approaching (the real number) 1. On the right, you have (the natural number) 1. In set theory, these are two different things, as if types are implicit to the theory. This shows that type theorists never really understood set theory in the first place
>B-b-but |N| =S6
You used the wrong encoding.
ID: RnPRu4FE/biz/60570581#60571135
7/2/2025, 8:14:52 AM
>It's an ironic meme coin
Page 1