24/04/18 19:52:58.66 9DQ6O8eP.net
>>140
>超現実数 (en:Surreal number) 全体は、体の公理を満たす対象による真クラスである。
ちょっとそれ違わない？
Knuthの「超現実数」という童話だと
「切断」を基本的なジェネレータにして空集合から作り出していく過程が描かれてるよな
0=<|>
-1=<|0>
1=<0|>
たしかこんなだっけうらおぼえだけど
だから個々の元が体じゃないでしょ
全体として体の小売を満たすクラス
24/04/18 19:52:58.66 9DQ6O8eP.net
>>140
>超現実数 (en:Surreal number) 全体は、体の公理を満たす対象による真クラスである。
ちょっとそれ違わない？
Knuthの「超現実数」という童話だと
「切断」を基本的なジェネレータにして空集合から作り出していく過程が描かれてるよな
0=<|>
-1=<|0>
1=<0|>
たしかこんなだっけうらおぼえだけど
だから個々の元が体じゃないでしょ
全体として体の小売を満たすクラス