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

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

数学基礎論の質問スレッド その5

413 名前：１３２人目の素数さん mailto:sage [2009/08/07(金) 06:30:11 ]
無矛盾であることだけなら、(ZFC)^Lが
実際に成り立つことを確かめれば良いでしょ。
独立性なら要るけど。

ACは独立性まで型理論の上で証明したとか
どっかで読んだんだが、どこで読んだのか覚えてない

ドーソンの本によると、型付言語の上での独立性は、
・ V = L については成功した
・ACについても同様の方法で出来ると思っていたが細かいところまで研究しなかった
らしいけどね




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

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