[過去ログ]
自然言語処理スレッド その5 (1002レス)
自然言語処理スレッド その5 http://mevius.5ch.net/test/read.cgi/tech/1537152490/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
90: デフォルトの名無しさん [sage] 2018/09/19(水) 17:35:22 ID:u73AcyrQ >>86 ごめん。まだ探索中で、大掃除みたいなコトになっている。 たしか、「選択公理が正しい」ということを仮定して 証明して、「選択公理が間違っている」ことを仮定して 証明して、どっちでも証明できたから「正しい」ことに なった、という話があって、「じゃあ選択公理要らねぇじゃん!」 と思ったけど、「もし連続体仮説が間違っていたなら」とか 「もし選択公理が間違っていたなら」とかで研究してる数学者が 大勢いるので、その成果が利用しやすい、というメリットがあるようです。 だけど、『連続体仮説』を著したコーエンが「おれは選択公理は 正しくないと思う」と言っていたというのを聞いて、ビールを鼻から 吹きそうなりました。 http://mevius.5ch.net/test/read.cgi/tech/1537152490/90
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 912 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.011s