08/03/28 03:41:07
911
349:１３２人目の素数さん
08/04/05 23:37:07
量子論理ってどんなのですか？
350:１３２人目の素数さん
08/04/10 04:21:03
>>349
俺は詳しくないから
URLﾘﾝｸ(plato.stanford.edu)
と次の参考文献を読んでくれ。
URLﾘﾝｸ(en.wikipedia.org)
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の直観主義は自由選列を許容している。
そのため古典論理で証明不能な命題が証明される。”
例えば「有理数でも無理数でもない実数が存在する」という
古典論理では間違ったとされる命題が証明されます。
353:１３２人目の素数さん
08/07/19 13:47:15
Brouwerの直観主義と、
Heytingらが整備したいわゆる直観主義論理はそもそも結構違うらしいよ。
「リーディングス 数学の哲学 ゲーデル以後」所収の
デトゥルフセンの「ブラウアー的直観主義」読むとそういうことが書いてある。
そもそもBrouwerって論理の形式化自体に反対してたんじゃないかな、と思うけど。
Brouwerがアンチ形式主義ってのは多分正しいと思う。
というか>>304って何か二年前の俺のレスのような気がするｗ
354:１３２人目の素数さん
08/07/19 20:17:28
>>353
>>Brouwerの直観主義と、
Heytingらが整備したいわゆる直観主義論理はそもそも結構違うらしいよ。
352です。
有難うございました。年来の疑問氷解です。
でも、そうだとすると、Heytingの理論は、あまり「直観的」
ではなさそうですね。
355:１３２人目の素数さん
08/07/19 21:01:39
>>352
＞Brouwerの直観主義は自由選列を許容している。
自由選列とは？
直観主義論理上の理論の公理で、古典論理上では
矛盾するようなものを用いることはできる。
この場合も、古典論理上では矛盾するから
何でもかんでも証明してしまうわけで
「古典論理で証明できないものが
直観主義論理で証明できる」
ということにはならない。
356:１３２人目の素数さん
08/07/19 21:20:26
>>352
＞「有理数でも無理数でもない実数が存在する」
これはむしろ
「Brouwerの直観主義によって、排中律から矛盾が導ける例」
と考えるべきかと思う。
357:１３２人目の素数さん
08/07/19 21:24:17
超越数が解になる方程式はなに？
358:１３２人目の素数さん
08/07/20 11:43:41
>>355
>>自由選列とは？
ブラウアーの直観主義数学において用いられる自由選列の概念を、
ヘイティングの解釈を援用することによって、メタ数学として古典数学を用いて表現し、
そこでは排中律が成立しないことを示した。この事実に基づいて、
直観主義者はけっして不合理なことを主張しているわけではない、ということを論証した。
1976 常識と懐疑論 単著 哲学と教育 第25号 36-50 1977/03
359:１３２人目の素数さん
08/07/20 17:57:04
自由選列ってのはfree choice sequenceの訳語だね。
360:１３２人目の素数さん
08/07/21 16:10:42
>>358-359
意味は知らないってこと？
361:１３２人目の素数さん
08/07/21 17:17:59
>>360
正確に書くのは面倒だ、ということです。
気分的に言えば「さいころを振って作る数列」です。
362:１３２人目の素数さん
08/07/21 18:35:27
>>304のリンク先に説明あるよ。
詳しくは忘れたが。
363:１３２人目の素数さん
08/07/21 19:47:29
ジャバをいれるとようつべにフラシュプレイヤーをいれても再生できなくなる
364:１３２人目の素数さん
08/07/26 06:13:39
>>357
係数が超越数の一次方程式。
365:１３２人目の素数さん
08/07/28 15:12:56
喪毎ら、エムシラ御大（つーか、ＥＵＲＭＳ）のＨＰを、よーく、読んでみろ！！！！
URLﾘﾝｸ(www.age.ne.jp)
URLﾘﾝｸ(www.age.ne.jp)
366:↑
08/08/18 17:14:59
URLﾘﾝｸ(www.age.ne.jp)
367:１３２人目の素数さん
08/08/22 01:18:55
某スレより引用 m(_ _)m
> 御大つーか EURMS の人たちもいろいろと、つーか「もの凄い苦労（多分）」したろうなぁ～。 御大のぺーじをよく詠んでみると、こんな記述がある↓
>
>>「あっちが立てば、こっちが立たず・・・」、「こっちが立てばあっちがたたず」 これって「矛盾だらけ」ってことだよなぁ～。そりゃ苦労するわ。
>
> それに何よりも、Frgean 理論（＝要するに今の論理学 の「標準理論」ｗ）での「もしも・・・ならば・・・」の解釈は、驚いたことに、
> 古代ギリシャにまでさかのぼる問題だったらしい。 それをものの見事に解いてしまっている。 凄いぞ！ マジで！！！）
> それに比べて、松芯痰はどうだぁ？ そりゃ、某私立（私立と言ってもいろいろあるから、まぁ、一応ｗ
> 超一流の私立の）修士課程を出てる。 でも、その程度 ---- と逝ったら語弊が
> あるかも知らんがｗ ---- のことで、論理学をかじったつーか、教科書」に書いてあるんだから、
> それが正しいんだって頭から信じ込んじゃって、今の理論には矛盾があるってことすら気がつかなかった。
> それでいて fj.sci,math に なんだぁ、「ＥＵＲＭＳのページがここにあります。ここを読んだら３日（一週間？）
> 笑えます」とかなんとかの趣旨の記事を投稿したんだよな～。
> そりゃ怒るは、いかに温厚な人でも。
368:１３２人目の素数さん
08/08/30 23:31:58
>>!
エムシラ御大（つーか、EURMS）の爪の垢でも煎じて飲め！