スレタイ 箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part3w) (251レス)
上
下
前
次
1-
新
232
(1)
: 06/14(土)19:28
ID:KrRIoxWF(4/4)
AA×
[
240
|
320
|480|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
232: [sage] 2025/06/14(土) 19:28:30.60 ID:KrRIoxWF 選択公理を認めると、複素数体には巨大な自己同型群が存在することが従う。 この自己同型群の存在から、モジュラー函数のある特殊値たちが代数的数であることを 構成的でない方法で証明できる。 この命題はZF内で別の方法(構成的)によっても証明できるが、二つの事実は当然矛盾しない。 という話を、藤原一宏という先生が書いていた。 http://rio2016.5ch.net/test/read.cgi/math/1736907570/232
選択公理を認めると複素数体には巨大な自己同型群が存在することが従う この自己同型群の存在からモジュラー函数のある特殊値たちが代数的数であることを 構成的でない方法で証明できる この命題は内で別の方法構成的によっても証明できるが二つの事実は当然矛盾しない という話を藤原一宏という先生が書いていた
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 19 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.018s