News for hackers. Stuff that matters.

A comment on Code is run more than read. Parent comment

Re:Code is run more than read by shemii on Friday December 01, 2023 @04:28AM (#38484867)
As I've written in another comment here, a great example of a number-y field which is not totally ordered is Games ⊂ Surreal Numbers ⊂ ℝ. There you have certain "numbers" which can can confused with (read incomparable) whole intervals of numbers. Games are really cool :)
[ Parent | on HN ]
Re:Code is run more than read by SetTheorist on Friday December 01, 2023 @09:44AM (#38487218)
You've got the subset relationships backwards: Reals are a subset of the field of Surreal Numbers which is a subset of the group of Games. (Probably better phrased as embeddings, rather than subsets, but the point remains...)

Note that Games do _not_ form a field: there is no general multiplication operation between arbitrary games.

[ Parent | on HN ]