[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 2chのread.cgiへ]
Update time : 08/24 08:58 / Filesize : 268 KB / Number-of Response : 843
[このスレッドの書き込みを削除する]
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧] [類似スレッド一覧]

↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

数学基礎論・数理論理学　その14

232 名前：１３２人目の素数さん mailto:sage [2013/04/24(水) 23:40:15.57 ]
・数理論理学（ロジック）とは？

　「ZFC ＋ 可測基数の存在」……（M）
は無矛盾である、と言うと必ず突っ込みが入り、
Mは無矛盾ではない、と言っても当然突っ込まれ、
Mが無矛盾であることが証明できる、と言っても必ず突っ込まれ
Mが無矛盾であることは証明できない、と言っても必ず突っ込まれる、

そんな微妙な命題を扱うギザギザハートな分野です




[ 続きを読む ] / [ 携帯版 ]
全部読む 前100 次100 最新50 ▲ [ このスレをブックマーク！ 携帯に送る ] 2chのread.cgiへ
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧]（ ´∀｀）＜268KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef