Ah, a set theorist! By 3 you mean the set {{}, {{}, {{}}}}?
-
-
-
Oh sorry, you mean the equivalence class of that set up to bijection. And are you thinking of it as cardinal or as ordinal?
- 2 more replies
New conversation -
-
-
3 is a type with a single inhabitant that can be isomorphic to Succ<Succ<Succ<Zero>>>
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
{Ø, {Ø}, {Ø, {Ø} } }
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
it depends on 1) how you construct this 3 and 2) how you annotate this value(think type inference)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
That must be a field.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
At which point rational people slap them both about the head with a large fish for the good of the gene pool.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
The discerning type theorist would say "I have an integer with value 3", not making the inference without context.
-
i agree, as 3 could be a char, string, and signed/unsigned short, int or long
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.