TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
プログラミングのお題スレ Part14
くだすれPython(超初心者用) その37
Silverlight登場で.NET使い大勝利!!! Part2
くだすれDelphi(超初心者用)その57
Ruby で GUI するスレ
なあ、再帰関数好きな人いる? パート3
Prologでまったり Part5
結局開発で最も大切なのはテーブルの正規化と制約
Kotlin 3
くだすれDelphi(超初心者用)その55
90 :
>>86
ごめん。まだ探索中で、大掃除みたいなコトになっている。
たしか、「選択公理が正しい」ということを仮定して
証明して、「選択公理が間違っている」ことを仮定して
証明して、どっちでも証明できたから「正しい」ことに
なった、という話があって、「じゃあ選択公理要らねぇじゃん!」
と思ったけど、「もし連続体仮説が間違っていたなら」とか
「もし選択公理が間違っていたなら」とかで研究してる数学者が
大勢いるので、その成果が利用しやすい、というメリットがあるようです。

だけど、『連続体仮説』を著したコーエンが「おれは選択公理は
正しくないと思う」と言っていたというのを聞いて、ビールを鼻から
吹きそうなりました。

Deep learning
プログラムに詳しくなりたい
【会津】パソコン甲子園2004【若松】
△△もっとStruts2の良さを教えてくださいSsssion6
BrainFuck Part.3 <[+-.,]>
数学者が技術者にプログラムを書いてもらうスレ
ふらっと C#,C♯,C#(初心者用) Part145
Google NaCl プログラミング 2mol
【.cmd】 バッチファイルスクリプト %13 【.bat】
Visual Studio 2019 Part4
--------------------
【PS4終了】PCメーカー各社がゲーミングPCに本腰
【実況&雑談するスレ】秋ほんばんスレ
【社会】ドンキで薬を大量に盗んだ疑いで韓国人逮捕 転売目的か
【PS3/PS4】PlayStation Plus Part 293【VITA】
【ここから】貴公俊 剛 3【這い上がれ】
☆創作とはあまり関係ない雑談スレ284☆
焼却炉
ひぐらしのなく頃に AA編 part9
【ヨハン】こんな金圭東はイヤだ!【悪魔教会】
【mobage】アイドルマスターシンデレラガールズ25778人目
【BEYOOOOONDS】小林萌花ちゃんをお上品に応援するスレpart2【ほのぴ】
【提言】年6場所って多すぎじゃね?悪鵬も解雇じゃね?
ドラマティック・ドリーム・チーム DDT Part148
【関西】アイドル イベント情報part2
バッテリー専用スレ
三重県の高校野球 背番号194
マターリ静岡 富士山〜浜名湖(伊豆以外)2
【LGBT】スター・バタフライ【ポリコレ】★39
【Meet】林原めぐみpart1【again】
▼フリーで働いて(´×ω×`)ダメポ364▼
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼