非古典論理について語るスレat MATH非古典論理について語るスレ - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト348:１３２人目の素数さん 08/03/28 03:41:07 911 349:１３２人目の素数さん 08/04/05 23:37:07 量子論理ってどんなのですか？ 350:１３２人目の素数さん 08/04/10 04:21:03 >>349 俺は詳しくないから http://plato.stanford.edu/entries/qt-quantlog/ と次の参考文献を読んでくれ。 http://en.wikipedia.org/wiki/Quantum_logic 351:１３２人目の素数さん 08/06/01 10:19:58 147 352:１３２人目の素数さん 08/07/19 10:57:40 >>304 >>NJはNKより弱い体系なので、直観論理で、 古典論理で示せない定理が、ましてや古典論理で示せる 定理の否定命題がNJで示せるはずがありません(*2) >>(*2)が間違っているのか、 そもそもBrouwerの直観主義を、NJは正しく（Brouwerの意図どおりに） 現していないことが帰結されるかのどちらかになるように思うのですが、 これはどちらが正しいのでしょうか 僕みたいな素人が言っていいのかどうか。でも僕の理解では ”Brouwerの直観主義は自由選列を許容している。 そのため古典論理で証明不能な命題が証明される。” 例えば「有理数でも無理数でもない実数が存在する」という 古典論理では間違ったとされる命題が証明されます。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch