- 1 名前：1 [04/10/13 18:26:50]
-
数学基礎論の質問スレッドが、今、無いようなので、新しくたてました。
ほかに質問のある方、どしどしと、質問してみてください。誰かが、教えてくれることもあるでしょう。
さて、私の質問ですが、
『論理学をつくる』という本の、一階述語論理の公理系の例のところに、
公理として、 ∀ξ（ξ=ζ） ξ、ζは個体変項をあらわす図式文字
というものがあがっていました。
公理ということは、恒真式なはずなんだけど、それが、なぜ、恒真式なのかが、わからなくて、疑問におもっています。
どなたか、わかる方、お教えください。
- 856 名前：１３２人目の素数さん mailto:sage [2006/03/01(水) 14:09:36 ]
- >>852
> やっぱそうなんだ。直観主義の人ってまだいるんだろうけど、排中律がそんなに嫌いなのかね？
じゃなくて、「正しい」という言葉の意味を普通の数学者とは違う意味に捉えてる。
- 857 名前：１３２人目の素数さん mailto:sage [2006/03/01(水) 14:48:40 ]
- >>855
「(無理数)＾(ルート２)＝(有理数)」だったら？
- 858 名前：848 mailto:sage [2006/03/01(水) 17:25:49 ]
- >>856
＞じゃなくて、「正しい」という言葉の意味を普通の数学者とは違う意味に捉えてる。
ああ、なるほどねぇ。でもじゃあ、直観主義者の「正しさ」の概念って時間の関数
なのかな？あ、クリプキとかいうヤツがなんかうまいセマンティクス考えたんだっけか？
漏れそれしらないや。そこんとこどうなんだろ？
普通に数学やっている人（古典論理主義者って言うのも変だからこう呼んでおく）は
「正しさ」が時間の関数だとは思ってないよね。例えば、今未解決の問題があったとして、
決定不能命題である場合は別にして、そうでない場合はそれが成り立つかそうでないか
は今知らないだけで決まってると思ってるよね？
- 859 名前：１３２人目の素数さん mailto:sage [2006/03/01(水) 17:39:37 ]
- > 決定不能命題である場合は別にして
決定不能命題であるかどうかも決定不能なので、
そのような場合分けは無意味なのでは？
- 860 名前：849=855=856 mailto:sage [2006/03/01(水) 18:42:06 ]
- >>857
どうだろうね。
x^{√2} が連続関数であることからいえたりするんだろうか。
でも中間値の定理が一般には成り立たないから無理かもしれん。
>>858
直観主義ってのはそもそも数学的な真実は超越的なものではなくて
人間の内にあるものだって考え方じゃなかったっけ。
だからまあ時間にも依存するだろうけど、どっちかというと数学をやってる主体に
依存するというほうが正しいのかなと思う。
今の直観主義者がどう考えるかは知らないけど、もともとの意味からすると。
後半に関しては、まあ >>859 みたいな突っ込みはいろいろできるだろうけど
厳密な話を抜きにすればだいたいそうだろうね。
> 今知らないだけで決まってると思ってる
というのが、まさに数学的な真実は人間を超越しているって考えかたなわけだ。
ちなみにこの辺の話あんまり詳しいわけじゃないんで話半分に聞いといて。
構成主義者ではあるけど哲学屋でも直観主義者でもないので。
- 861 名前：１３２人目の素数さん mailto:sage [2006/03/01(水) 19:00:21 ]
- >>848
本にそう書いてあったろ
>>850
それは今の話の流れとは関係ないのでは。。
普通は対数とるなりして証明するけど
(√2^√2)^√2はよく直観主義の説明で出てくる例
- 862 名前：１３２人目の素数さん mailto:sage [2006/03/01(水) 19:07:14 ]
- 排中律云々は飽くまで結果であってそれが最初にあるわけではないでしょ
直観主義でまず大事なのはなぜ彼らが直観主義の立場を取るかだと
思うんだけど、そこらへんの事が書かれてる本ってどういうわけだか非常に少ないんだよね
だから普通に論理学の本で直観主義を勉強すると
「なんか世の中には奇特な人が居て排中律を認めないらしいぞ」
とかそういう感想になる
そこいらのことがもっと知りたかったから勁草書房かどっかから出てる
数学の哲学の高い本買ったんだけど、まだほとんど読んでないやｗ
>>858
直観主義者だって時間の函数だとは思ってないんじゃないかな
まあAxiom of Choiceが「正しい」公理だと見做されるかどうかは結構
時代によって違ったりしてると思うけどね
- 863 名前：848 mailto:sage [2006/03/01(水) 23:24:45 ]
- 自分のとこ読むと少し挑戦的な口調も入ってるのに、冷静にレス返されたらこっちも冷静になっち
まったい。（つーか漏れのガキさ加減が浮き上がっちまった。）
＞> 今知らないだけで決まってると思ってる
＞というのが、まさに数学的な真実は人間を超越しているって考えかたなわけだ。
フムフム、前よりはなんか許容できそうな気持ちになってきたなあ。なるほど、そういう考えかたねぇ。
まあ、そういわれても漏れはやはり排中律ビシバシを変える気はないけど、でもそういう人もいても
おかしくはないか、って感じね。
>>862
＞そこいらのことがもっと知りたかったから勁草書房かどっかから出てる
漏れもそこいら辺知りたいなあ。ここら辺詳しい人２ちゃんにいないのかなあ。天下の２ちゃん！
そういう人いてくれ！
スマソ
＞>>858
＞直観主義者だって時間の函数だとは思ってないんじゃないかな
言われてみりゃあそうか。つまり
「（ルート２）＾（ルート２）は有理数であるかそうでないかのどちらかである。」
が正しいかどうかは今は知らないが決まってはいるはずだ、と思ってるかもしれないって事か。
（例が悪いから（ルート２）＾（ルート２）が有理数かどうか周知の事かもしれないけど言いたい
事わかるよね。）
- 864 名前：850 mailto:sage [2006/03/01(水) 23:30:35 ]
- >>861
排中律に基づく証明が非構成的であることを反映しているのだと思うが。
- 865 名前：１３２人目の素数さん mailto:sage [2006/03/01(水) 23:38:02 ]
- wikiに以前直観主義の項目があったと思ったんだが
なくなってるね
何でだろ
- 866 名前：１３２人目の素数さん mailto:sage [2006/03/01(水) 23:40:09 ]
- >>864
「へぼい」と「非構成的」は同義じゃないでしょう
方法の汎用性と構成的かどうかは寧ろ片方を立てれば
もう一方が立たない関係になってる場合の方が多いと思いますよ
- 867 名前：１３２人目の素数さん mailto:sage [2006/03/02(木) 07:54:56 ]
- >>866
同義とはどこにも書いていないけど。
この証明を構成的にしようとする方向に、
汎用的な定理(Gelfond-Schneider)がありませんか？
- 868 名前：１３２人目の素数さん mailto:sage [2006/03/02(木) 16:15:25 ]
- >>867
866とは違う者だけど、>>848の証明が非構成的である理由としては
>>850はずれてる、って事を言いたいんじゃないのかな866は。
「>>850は理由になってるの？」っていう。
それに(無理数)^(無理数)=(有理数)の例を挙げるだけだったら、
(√2)^(log_{2}(9))=3で構成主義的に問題無い訳だし。
でも今問題になってるのはあくまで>>848の証明でしょ。
別証は取りあえず置いといて。
- 869 名前：１３２人目の素数さん [2006/03/02(木) 18:52:50 ]
- ＿＿＿
180 ノ7.5-6
X ＝ ---- × -----
2 7.5-6
解き方と答え教えて
- 870 名前：１３２人目の素数さん mailto:sage [2006/03/02(木) 21:54:59 ]
- いつまでもこういうのが絶えないのう.....
>>869
ネタじゃなかったら勘違いなのです。
スレタイとは裏腹に基礎数学のスレッドではないのですよ。
質問スレにでも逝かれるがよろしいかと思います。
次は【数理論理】 とか 【Logic】とかつけた方がいいかも
- 871 名前：１３２人目の素数さん mailto:sage [2006/03/02(木) 22:34:36 ]
- >>865
「数学的直観主義」だね。
ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E7%9A%84%E7%9B%B4%E8%A6%B3%E4%B8%BB%E7%BE%A9
↓ぐぐって見つけた文章
www.ritsumei.ac.jp/se/~tjst/doc/announce/am96.html
＞トポス理論の構築を通して 構成的議論の本当の意味は、
＞種々の数学的定式化に依存しない数学的真理を与えるという点にある、
＞ということを明らかになったのである。
なんかすごい事言ってるような気がするけど、全然分からない…
もうちょっと具体的にはどういう事なの？
- 872 名前：856 mailto:sage [2006/03/02(木) 23:19:11 ]
- >>871
なんとなく「いろんな概念が人間の直感に合った形で素直に書けるんですよ」
みたいなことを言いたいんじゃないかなという感じがする。
具体的にどんなものを意識してるのか、それがトポスとどう関係するのかはよ
くわからない。というか知らないといったほうが正しいか。
あとそれとは直接関係ないんだけど、
その文章読んでると直観主義・構成主義・排中律の否定の三つを
全部一緒にしてるような印象で気になった。
個人的にはどれも別物だと思ってるので。
- 873 名前：１３２人目の素数さん mailto:sage [2006/03/02(木) 23:46:25 ]
- 直観主義が赤のリンクになってるから
無くなっちゃったのかと思った
本来は転送されるべきですね
>>871
あれだ、所謂辻下さんのページだ
- 874 名前：１３２人目の素数さん [2006/03/03(金) 04:42:39 ]
- 集合論の質問はここでいいのでしょうか？簡単すぎる質問で恐縮ですが、べき集合とは何か、と{φ}と{{φ}}の違いは何か、一応本で読んで知ってるのですが、感覚的に掴めず、ぴんときません。どなたか分かるまで根気よく説明して下さる方はいませんか？
- 875 名前：１３２人目の素数さん mailto:sage [2006/03/03(金) 05:33:09 ]
- あれ、集合論スレ落ちちゃったんですね
うーむ
＞感覚的に掴めず、ぴんときません。
冪集合は兎も角、{φ}と{{φ}}の違いなんて形式的なものであって
感覚的にそうピンとくるようなものでもないと思いますよ
冪集合に関しては、他の数学の分野を勉強するときに
必然的に使うことになるので、そのときに慣れていけばいいんじゃないでしょうか
集合論的には、ある濃度の集合から、さらに濃度の高い集合を作るための
一般的な規則、とか言うことになるんでしょうけどそういう説明するのも何か違う気がしますし
- 876 名前：１３２人目の素数さん mailto:sage [2006/03/03(金) 05:44:19 ]
- >>874
ものごとをすべて感覚的に掴めるという錯覚にある人の質問。
100までの数に関することでも、感覚的にわからないことはいくらでも
ある。論理的に追えるかどうかが、感覚ができる決め手。
大体、{φ}と{{φ}} が異なる集合であることの証明ができないのでは
ないかと推測するが、、、。
- 877 名前：１３２人目の素数さん mailto:sage [2006/03/03(金) 06:02:08 ]
- ＞大体、{φ}と{{φ}} が異なる集合であることの証明ができないのでは
＞ないかと推測するが、、、。
証明が出来ないってのは、感覚的に分かってない人には証明出来ない、ということ？
- 878 名前：１３２人目の素数さん mailto:sage [2006/03/03(金) 10:17:24 ]
- 説明できるような感覚なんてちょっとしかないよたぶん。ある程度経験つまなきゃ感覚もつかめない
ってところもあるよ。少ない経験や知識だけで感覚を持とうとしても、無理が出るだけだよ。
もちろん何か説明してくれる人がいる時は聞けばいいだろうけど、自分でも先へ進んでみないと。
- 879 名前：１３２人目の素数さん mailto:sage [2006/03/03(金) 14:41:20 ]
- 集合論なぜなにスレッド
science4.2ch.net/test/read.cgi/math/1064299337/
昨日の圧縮の時点でレス数985だったからdat落ちさせられたみたい。
- 880 名前：１３２人目の素数さん mailto:sage [2006/03/03(金) 23:16:58 ]
- >>872-873
871だけど、う～ん…あんまり本気にしない方がいいのかな。
本気にしたところで層意味論なんて俺には無理だけど。
- 881 名前：１３２人目の素数さん mailto:sage [2006/03/03(金) 23:21:05 ]
- 980過ぎたら埋め立てるのがマナーですぜ
- 882 名前：１３２人目の素数さん mailto:sage [2006/03/03(金) 23:28:55 ]
- ＞sheaf semantics
ちょっとびびったｗ
なんかカッコいいなｗ
- 883 名前：874 [2006/03/04(土) 07:52:05 ]
- >>875->>879
皆様、レスありがとうございます。
＞{φ}と{{φ}}の違いなんて形式的なもの
そうですか。ではこれはこのまま意味など追求せず、ざっくり覚えれば良いってことですね。
＞冪集合に関しては、他の数学の分野を勉強するときに必然的に使うことになるので、そのときに慣れていけばいいんじゃないでしょうか
実は数学専攻ではないのです。冪集合って何故必要なんでしょう？ってところから分からないのです、、、。
＞集合論なぜなにスレッド
どなたか集合論に詳しい方が第二弾を立てて下されば良いのですが、、、。
- 884 名前：１３２人目の素数さん mailto:sage [2006/03/04(土) 08:16:27 ]
- >>883
感覚的には
φ：箱がない、 {φ}：空箱、 {{φ}}：箱の中に空箱
まあ、イメージは個人の好き好きだから、ご自由に
冪集合(公理)がないと、集合の部分集合を集めて新しく集合を作ることが
一般にはできなくなって、すごく困ります
- 885 名前：１３２人目の素数さん [2006/03/04(土) 08:26:14 ]
- ＞実は数学専攻ではないのです。冪集合って何故必要なんでしょう？ってところから分からないのです、、、。
冪集合を考えることが本質的に必要になるのと自覚するのは位相とか測度論とかを勉強するときだろう。
ある集合 Ｘ が与えられたとき、Ｘ の元に関する性質だけを議論しているときは冪集合という概念は自覚する必要が無いが、Ｘ の部分集合に関する性質を議論するようになると、冪集合という概念をどうしても意識する必要が出てくる。
- 886 名前：１３２人目の素数さん mailto:sage [2006/03/04(土) 08:44:29 ]
- 「三角形の集合」と言ったら R^2 の冪集合の部分集合だし
平面図形を回転させてできる回転体は R^3 の冪集合の部分集合の和集合なわけだから、
冪集合ってのは普段から使われてる。
簡単すぎるから無自覚に使ってるだけで。
- 887 名前：886 mailto:sage [2006/03/04(土) 08:47:55 ]
- もちろん、無自覚に使うのと、意識して使うのとは全然違うから、
>>885 に反論してるわけではないです。
- 888 名前：874 [2006/03/04(土) 08:54:40 ]
- >>884
空集合での例ですね？非常に分かりやすい説明ですね。では空集合でないものは、
a：箱に入ってないa
{a}：箱に入ったa
{{a}}：箱に入った箱に入ったa
っていう感じでいいのかな？
＞集合の部分集合を集めて新しく集合を作ることが 一般にはできなくなって、すごく困ります
集合の部分集合を集めて新しく集合を作るのは何のためですか？
>>885
以前は、元は単数の要素で、元が複数に集まったものが部分集合なのだと思い込んでました。
でも部分集合のなかに要素がひとつしかなくても、{}の中に入ってればそれは元でなくて部分集合なんですよね。
ひとつきりの要素が元になれたり集合になれたりするのは何故ですか？操作する人が勝手にどちらかに決めているだけの話なのですか？
- 889 名前：874 [2006/03/04(土) 09:00:57 ]
- >>886
＞「三角形の集合」と言ったら R^2 の冪集合の部分集合だし
＞平面図形を回転させてできる回転体は R^3 の冪集合の部分集合の和集合
そうなのですか？何故そうなるのかもっと詳しく教えて下されば嬉しいです。
- 890 名前：１３２人目の素数さん mailto:sage [2006/03/04(土) 09:35:19 ]
- φ={ } だから
φ：空箱、 {φ}={{ }}：箱の中に空箱、 {{φ}}={{{ }}}：箱の中の箱の中の空箱
とするべきだった
>>889
三角形は R^2 の部分集合、R^2 の冪集合は R^2 の部分集合を全部集めた集合
だから、三角形の集合は R^2 の冪集合の部分集合
しばらく自分で考えてみてください
- 891 名前：874 [2006/03/04(土) 09:51:44 ]
- >>890
＞φ={ }
そうか！空集合だけが集合と言いながら{ }がついていないのはそのせいなのですね。
＞しばらく自分で考えてみてください
お陰で良く分かりました。Ｒってのが何なのか分からなかった(今も分かりませんが）ので、何のことかさっぱりでした。
- 892 名前：１３２人目の素数さん mailto:sage [2006/03/04(土) 19:08:37 ]
- Rは実数全体の集合のことですよ
>>888
数学全体の中で考えたときに、集合論が何のためにあるのか、
というと代数なり解析なり他の分野の数学を展開するのに充分な基礎を与える、
という役割が一番大事だと思います
で、冪集合を認めないと実数や複素数全体（と基数が同じ）集合の存在が
一般に言えず、したがって例えばRからRへの函数全体、などの概念が
実は矛盾概念かもしれない、と言った不安があるわけです
- 893 名前：874 [2006/03/04(土) 20:23:38 ]
- >>892
Ｒは実数全体の集合なのかなとも思ったのですが、何故三角形がそれの^2で回転体が^3なのか分からなかったので確信が持てませんでした。
しかし、三角形は平面だからＲのｘ軸*Ｒのｙ軸で^2、
回転体は立体だからＲのｘ軸*Ｒのｙ軸*Ｒのｚ軸で^3、
ということなのですね？
そうすると、平面体の全集合は^2の冪集合を構成し、立体の全集合は^3の冪集合を構成する、
ということなのですね？
- 894 名前：１３２人目の素数さん mailto:sage [2006/03/04(土) 22:45:57 ]
- A^2というのは(a1,a2)といったAの要素の二つの組です
A^3とかA^nとかも同様です（集合論の教科書に書いてありますが）
だから大体そのとおりです
＞そうすると、平面体の全集合は^2の冪集合を構成し、立体の全集合は^3の冪集合を構成する、
＞ということなのですね？
ここら辺がよくはっきりしないですが、多分「平面体の全集合」で平面R^2の部分集合の全体のことを
「立体の全集合」でR^3の部分集合の全体のことを指しておられるのかな、と
- 895 名前：１３２人目の素数さん mailto:sage [2006/03/04(土) 22:48:37 ]
- つーか素朴集合論なんてのは拘泥しないで本を読み進んで
後から読み直す方が早いし理解も深いと思うんだ
- 896 名前：１３２人目の素数さん mailto:sage [2006/03/05(日) 00:15:45 ]
- >>895
俺もその意見にかなり賛成だが、まあべき集合は重要な概念だし、
一度じっくり考えてみることもそれなりに意味はあるんじゃないの。
説明に対する>>874の理解具合を見るに、べき集合は>>874にとって
ほどよい課題だったと思う。ただ素朴集合論の一つ一つの細かいテクニックに
こだわりすぎるのははっきり無駄だろうね。
- 897 名前：１３２人目の素数さん mailto:sage [2006/03/05(日) 00:30:42 ]
- 正直なところなぜ必要なのでしょうかと言われても
数学やらない人には必要ない気もするけどねｗ
- 898 名前：874 [2006/03/05(日) 04:35:22 ]
- >>894
よく分かりました。どうもありがとうございました。
皆様のお陰で冪集合に関してはこれですっきりしたような気がします。
次の質問は、カントールの対角線論法なのですが、
あの論法の素晴らしさがどうも分かりません。
なんだかトリックのような狐に摘まれたような気分を味わってしまうのです。
なにかとんでもなく勘違いしているのか、単に理解不足なのか、、、？
- 899 名前：１３２人目の素数さん mailto:sage [2006/03/05(日) 09:23:00 ]
- 狐に抓まれた感じがして正常だと思いますよ
- 900 名前：１３２人目の素数さん [2006/03/05(日) 15:09:57 ]
- { a_1 , a_2 , a_3 , … } という数列を与えると、その数列を“使って”、その数列に現れるどの値とも異なる値を構成してみせる、という論法が、いかにも「後だしジャンケン」だからでしょう。
もし、あらかじめ用意していたストックの中からどの a_n とも違う値を「ほらよ」といって出して見せるならズルくない、というわけでしょうが、
これだって、「ほらよ」と見せる値というのは実際に数列を見せてもらってからでないと指定することができないのだから、結局はズルイ・ズルくない、というのは所詮先入観に過ぎないわけだ。
とここまで書いて、反論を待つことにしよう。
- 901 名前：874 [2006/03/05(日) 19:55:26 ]
- >>899
正常だと言っていただけて嬉しいような、さてではどうしよう、といった不安のような。
>>900
後だしジャンケンというか、あれだと斜めであろうが一つ飛ばしだろうが、
いくらでも簡単に違う値を作れるわけじゃないですか。
でそれを出して見せてるだけなのに、"強力な論法"と絶賛されているのは
いったい何故？、と思うのです。
- 902 名前：１３２人目の素数さん [2006/03/06(月) 16:53:51 ]
- なんだ結局単発質問スレか
- 903 名前：１３２人目の素数さん [2006/03/07(火) 01:57:15 ]
- ゲーデルの原論文（独語）
Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme
をネット上で読みたいんですが見つけられる人います？
- 904 名前：１３２人目の素数さん [2006/03/07(火) 14:17:58 ]
- 駄スレ保守
- 905 名前：１３２人目の素数さん mailto:sage [2006/03/08(水) 06:46:56 ]
- > 後だしジャンケンというか、あれだと斜めであろうが一つ飛ばしだろうが、
> いくらでも簡単に違う値を作れるわけじゃないですか。
> でそれを出して見せてるだけなのに、"強力な論法"と絶賛されているのは
> いったい何故？、と思うのです。
どんな馬鹿でも簡単に違う値を作れる必勝ルーチンが
強力でなくて何が強力なんですか
- 906 名前：874 [2006/03/08(水) 19:13:18 ]
- ううむ、、、やはり単にそういうことなのでしたか、、、。
素人には見えないが実は数学的に凄いものが隠されているのでは
などと勘ぐっていました、、、。
皆様、これまでのご回答ありがとうございました。
また後日、新しい質問を持って再臨します。
- 907 名前：１３２人目の素数さん mailto:sage [2006/03/08(水) 19:34:06 ]
- >>906
自己言及の論理と計算
www.kurims.kyoto-u.ac.jp/~hassei/selfref.pdf
こういうのとはまるで違うけど、
対角線論法はArzela-Ascoliの定理を始めとする解析の命題の証明でもよく使う。
大雑把に言えば∀∃を∃∀に入れ替えたい時とか。
＞ただ素朴集合論の一つ一つの細かいテクニックに
＞こだわりすぎるのははっきり無駄だろうね。
- 908 名前：１３２人目の素数さん [2006/03/10(金) 07:42:10 ]
- 質問です。(基礎論の記号がつかえないのでわかりづらい文章になってしまいましたが…)
ＡがＭ、mにおいてみたされるはＭ m∽Ａで表すことにします。
またｎ＝ｎ’(i)はi番目のところ以外が同じことを表していることにします
次の定理を今証明したい
「n＝m(j) ｎｊ＝ｔ[m]ならばＭ ｎ∽Ａ(aj)⇔Ｍ m∽Ａ(ｔ)」
この証明で分からない部分
Ａ(aj)に含まれる論理記号の数Ｌについて帰納法でときます。
Ｌは0より大きいときで左側の記号が∀のときでＡ(aj)＝∀xＣ(aj,x)とおいたとき
Ｃ(aｊ、x)およびｔに含まれない自由変数aiをとれば
①Ｍ ｎ∽∀xＣ(aj,x)
⇔∀n'＝n(i)；Ｍ ｎ∽Ｃ(aj,ai)
②Ｍ m∽∀xＣ(ｔ、ｘ)
⇔∀m'＝m(i)；Ｍ m'∽Ｃ(t、ai)
①②両方成立
分からない部分は
①ではaiはＣ(aj、ｘ)に表れない自由変数のうちで最小の番号を持っているという設定になりますが(定義)これでは②においてｔがその最小の番号をふくんでいるときにそのaiをとることはできないんじゃないか？
というところです。
これを悩みつづけて死にそうです。誰かお願いします。
- 909 名前：908 [2006/03/10(金) 07:45:15 ]
- >>907の補足
松本和夫さんの「数理論理学」のｐ39の部分です。
- 910 名前：908 [2006/03/10(金) 07:46:04 ]
- 間違えました>>908の補足です
- 911 名前：１３２人目の素数さん mailto:sage [2006/03/10(金) 08:31:28 ]
- >>908
> Ｃ(aｊ、x)およびｔに含まれない自由変数aiをとれば
> ①ではaiはＣ(aj、ｘ)に表れない自由変数のうちで最小の番号を持っているという設定になりますが(定義)
> これでは②においてｔがその最小の番号をふくんでいるときにそのaiをとることはできないんじゃないか？
含んでないって書いてるじゃん、自分で。
- 912 名前：908 [2006/03/10(金) 08:40:34 ]
- >>911お返事誠にありがとうございます。
言い方を少し間違えてしまいました。
①におけるＣ(aj、ｘ)に表れない自由変数のうちで最小の番号を持っている自由変数と
②におけるＣ(ｔ、x)に含まれない自由変数のうちで最小の番号をもっている自由変数とが一致すると断定できないはずなのにこの証明では断定しているところがわからないのです。
- 913 名前：１３２人目の素数さん mailto:sage [2006/03/10(金) 08:47:51 ]
- >>912
1, 2 についてそれぞれ別々に i をとるって話ならそうなるけど、
> Ｃ(aｊ、x)およびｔに含まれない自由変数aiをとれば
ここであらかじめ i をひとつとって固定して、
その i について 1, 2 が成立ってことではないの？
- 914 名前：908 [2006/03/10(金) 08:54:29 ]
- お返事ありがとうございます。
その可能性はゼロです。
なぜならＣ(aj、ｘ)に表れない自由変数のうちで最小の番号を持っている自由変数はＣ(aj、ｘ)に依存して一つだけ確定しますし
Ｃ(ｔ、x)に含まれない自由変数のうちで最小の番号をもっている自由変数も同様にＣ(ｔ、x)に依存して一つだけ確定するからです。
それらが一致することが謎なのです。
- 915 名前：908 [2006/03/10(金) 09:01:16 ]
- 補足
Ｍはフレームです。
ｔは項です
m、nは点列です。
- 916 名前：１３２人目の素数さん mailto:sage [2006/03/10(金) 09:09:27 ]
- >>914
それらが一致すると書いてある？だとすればその本が間違ってそう。
けど、素直に >>908 の証明を読むと >>913 のようにしかとれないし、
それで証明としては正しいような気がする。
# 自由変数云々って計算機上で扱わない限りそんなにこだわるところではないような
- 917 名前：908 [2006/03/10(金) 09:19:01 ]
- ＞＞916お返事ありがとうございます。一致するとは書いてありませんが、定義の通り解釈すれば一致するということと同じであるように受け取れます。
もし自由変数の番号付け替え可能ならば話は別です。しかしその可能性は薄い気がします。
Ｍ m∽∀ｘＡ(xｊ)の定義は松本さんの本によると「m＝n(i)をみたす任意のnに対してＭ n∽Ａ(ai)
ただしaiはＡ(xｊ)に表れない自由変数のうちで最小の番号を持ったものとする」
書いてあります。
- 918 名前：908 [2006/03/10(金) 09:37:53 ]
- 実はもうひとつ質問があります。
その本の中に出てくるのですが一意写像とは何でしょうか？
質問ばかりで誠にすいません。
- 919 名前：１３２人目の素数さん mailto:sage [2006/03/10(金) 09:38:06 ]
- >>917
> Ｍ m∽∀ｘＡ(xｊ)の定義は松本さんの本によると「m＝n(i)をみたす任意のnに対してＭ n∽Ａ(ai)
> ただしaiはＡ(xｊ)に表れない自由変数のうちで最小の番号を持ったものとする」
ちょっと考えなきゃいけないけどこの定義でも >>913 の解釈で大丈夫だと思う。
補題として
「m,n を A(xj) に現れるどの自由変数 ak に対しても mk=nk となるものとする。
このとき mi=nj であれば
Ｍ m∽Ａ(ai) ⇔ Ｍ n∽Ａ(aj) 」
みたいなのがあればいいかな。(細かいところは修正がいるかも)
これを暗黙のうちに使ってるのでは？
- 920 名前：１３２人目の素数さん mailto:sage [2006/03/10(金) 09:45:13 ]
- >>918
ttp://www.tanimura.org/v1/?title_id=21987&mode=d
これによると一価関数のことらしいけど、それで話通じる？
ぐぐったら二件しかヒットしなかったからほとんど使われない言葉なのかも。
- 921 名前：908 [2006/03/10(金) 09:47:50 ]
- >>920はい、それで大丈夫です。ありがとうございます。
今から>>919の文章考えたいので少し(いや、かなり)時間ください。
- 922 名前：908 [2006/03/10(金) 10:04:11 ]
- >>919すいません。mi＝nｊの条件はどうやれば出てくるでしょうか？
ｎｊ＝ｔ[m]なのですが…
馬鹿で本当にすいません。
- 923 名前：908 [2006/03/10(金) 10:15:13 ]
- お騒がせしました。遂にわかりました。
皆さんありがとうございました。
>>919の補題はｎｊ＝ｔ[m]でも成立するのですね？
そうとしか考えられないし、そうであるとすればすべての合点がいきます。
＞＞919さんには本当に心から感謝します。
これでもうこの問題の苦悩は完全に解かれました。
誠にありがとうございました。
- 924 名前：908 [2006/03/10(金) 10:30:21 ]
- すいません。やっぱりよく考えてみたらわかってませんでした。
ていうか＞＞919の補題普通に考えてｎｊとajのところｔにおきかえたら証明すべき定理になりますね
そうとう僕は馬鹿ですね。
- 925 名前：１３２人目の素数さん mailto:sage [2006/03/10(金) 11:11:59 ]
- えーと、 >>919 でいいたかったことはむしろ ∀ の場合の ∽ の定義
「m＝n(i)をみたす任意のnに対してＭ n∽Ａ(ai)」
で i の最小性を条件から外してもいいんじゃないかっていうようなことです。
あんまり書き方よくなかったか。
つまり
A(xj) で自由でない番号最小の ai と、 m＝n(i) をみたす任意のnに対して Ｍ n∽Ａ(ai)
⇔ A(xj) で自由でないある aj があって、 m＝n(j) をみたす任意のnに対して Ｍ n∽Ａ(aj)
が成り立つんじゃないかと。
そうすればもともと問題だった番号の最小性は気にしなくていいことがわかる。
で、 → は明らかなんだけど ← を示すのに >>919 みたいなことがいる。
- 926 名前：908 [2006/03/10(金) 12:19:09 ]
- わかりました。
今度こそ完全に。
本当に＞＞925さんありがとうございました。返事おくれてすいません。
- 927 名前：１３２人目の素数さん mailto:sage [2006/03/14(火) 17:22:10 ]
- 自然数x, yについての関係y=2^xを言語(0, S, +, *)で表現するのって、
やっぱりゲーデル数でコーディングしてβ関数とかを用意しないと無理？
指数関数くらい簡単なものだったらゲーデル数を持ち出さなくても何とかならない？
- 928 名前：１３２人目の素数さん mailto:sage [2006/03/14(火) 21:42:38 ]
- >>927
無理なんじゃないかなあ
昔だいぶ考えたけど、結局のところ列のコーディングをつかわないと
原始帰納が書けないからどうにもならんような。
「∃x.y=2^x」なら書けたけどそのへんで限界を感じた。
- 929 名前：１３２人目の素数さん mailto:sage [2006/03/14(火) 21:44:27 ]
- ＞∃x.y=2^x
それけっこうすごいな
- 930 名前：１３２人目の素数さん mailto:sage [2006/03/14(火) 21:57:36 ]
- >>928
やっぱ原始再帰法とガチンコ勝負になっちゃうか。
「∃x.y=2^x」は俺も考えた。
「y≠0は2以外の素因数を持たない」って関係だからこれは何とかなるけど、
そこから「x個の素因数を持つ」ってのが書けなくてアウト。
- 931 名前：１３２人目の素数さん mailto:sage [2006/03/14(火) 22:01:29 ]
- あ、そうかｗ
- 932 名前：１３２人目の素数さん mailto:sage [2006/03/14(火) 22:25:35 ]
- Matiyasevich-Robinson-Davis-Putnam の定理を使えば
coding はいらないことになるかな。
- 933 名前：１３２人目の素数さん mailto:sage [2006/03/15(水) 04:54:07 ]
- 質問させて下さい。
競馬で
①必ず的中率25％になる
②１レース～６レースまで毎回参加
③当たればそのあとのレースはしない
①②の条件の時(的中しても１～６レース全てやる)と、
①～③の条件の時、
１レース目の的中回数、的中率
２レース目の的中回数、的中率
３レース目の的中回数、的中率
４レース目の的中回数、的中率
５レース目の的中回数、的中率
６レース目の的中回数、的中率
全て外れる回数、確率
これらはいつかは同じような回数、確率になりますか？
- 934 名前：１３２人目の素数さん [2006/03/15(水) 05:43:33 ]
- age
- 935 名前：１３２人目の素数さん mailto:sage [2006/03/15(水) 06:51:04 ]
- >>933
条件に追加で
１～６レースまでに１度当たる確率が75％
ってのを加えさせて下さい。
- 936 名前：１３２人目の素数さん mailto:sage [2006/03/15(水) 08:49:43 ]
- >>935
よく考えたらこれがあると矛盾するんでなしにしてください。
- 937 名前：１３２人目の素数さん mailto:sage [2006/03/15(水) 08:54:17 ]
- ここは証明論とかモデル論とか不完全性定理のスレなので。。
他をあたって下さい
分からない問題はここに書いてね２３４
science4.2ch.net/test/read.cgi/math/1141432182/
- 938 名前：１３２人目の素数さん [2006/03/15(水) 09:06:01 ]
- >>937
いってみます。
誘導ありがとうございます。
- 939 名前：中川秀泰 [2006/03/15(水) 11:26:17 ]
- イッテ見なさい
- 940 名前：１３２人目の素数さん mailto:sage [2006/03/15(水) 15:07:40 ]
- >>932
や、指数関数という簡単なものでさえ、+と*だけで書くには
コーディングとかその定理とかの大道具が必要になるって事を確認したかった。
コンピュータなんか無い時代に再帰関数とかゲーデル数とかを編み出して、
計算というものをクリアに捉えて、
計算できるものを+と*だけでなんでも表現しちゃおうと考えるなんてマジすげぇ。
- 941 名前：１３２人目の素数さん mailto:sage [2006/03/16(木) 02:05:41 ]
- 基礎論を知らない人に「基礎論って何ですか？」って聞かれた時に、
簡単な練習問題を幾つか挙げて、それについて考えてもらうことによって
基礎論がどのようなものか理解してもらうとしたら、どんな問題を挙げますか？
なるべく基礎論の魅力がよく表現されているもので、慣れてない人にとってはちょっと難しいが、
ある程度真剣に考えてもらえば殆どの人が回答にたどり着けるような問題をお願いします。
- 942 名前：１３２人目の素数さん mailto:sage [2006/03/16(木) 02:47:44 ]
- そんな簡単なの無いような
- 943 名前：１３２人目の素数さん mailto:sage [2006/03/16(木) 03:58:39 ]
- 不完全性定理でいいんじゃないの？
λで書いたやつなら数十行で書けるし
- 944 名前：１３２人目の素数さん mailto:sage [2006/03/16(木) 04:04:35 ]
- 誘導付けたらすごい長大なものになるかと
- 945 名前：１３２人目の素数さん mailto:sage [2006/03/16(木) 04:53:40 ]
- 無矛盾性に目をつぶれば20行で出来るんだけどね
- 946 名前：１３２人目の素数さん mailto:sage [2006/03/16(木) 05:54:50 ]
- 演繹定理なんかどうだろう。
- 947 名前：１３２人目の素数さん mailto:sage [2006/03/16(木) 15:45:30 ]
- 初学者です。質問いきます。
形式的体系が無矛盾、というときの形式的体系って、なんか、形式的体系として必須の推論規則とか、あるんですかね？
なんかあたりまえのことらしく、本の最初のほうにすら書かれてないんですが
例えば、
￢(s0+s0=s0+s0)とs0+s0=ss0を公理として置くとして、これは明白に無矛盾でないんですが、推論規則がなきゃ、s0+s0=ssoは出てこないので、無矛盾か？いや、そんなはずはない、と悶絶しております
というか、公理図式だけを置いた形式的体系、論理式をいくつか公理としておいただけの形式的体系なんてあるのか？というところでつまづいてます
- 948 名前：１３２人目の素数さん mailto:sage [2006/03/16(木) 15:46:33 ]
- すいませんagemasu
- 949 名前：１３２人目の素数さん [2006/03/16(木) 15:47:13 ]
- すいませんagemasu
- 950 名前：１３２人目の素数さん mailto:sage [2006/03/16(木) 15:48:19 ]
- すいませんsagemasu
- 951 名前：１３２人目の素数さん mailto:sage [2006/03/16(木) 15:51:59 ]
- >>947
読んでいる本の書名は？
- 952 名前：１３２人目の素数さん [2006/03/16(木) 16:16:44 ]
- いや、本の問題というか、
どの本も、まず、公理、推論規則、があって形式的体系、
ないし、推論規則だけ置いた自然演繹、ということで始まっていて、
というか、まず、無矛盾である、例えば、一階述語論理の公理系があって、それに固有公理を加えた形式的体系が無矛盾であるとか、無矛盾でない、ということを言ってるんですかね？
例えば、集めたい論理式の範囲がs0+s0=ss0とs0+s0=s0+s0だけで、s0+s0=ss0とs0+s0=s0+s0だけを、公理としておいて、形式的体系だ、とか言うことはナンセンス、ですかね？
- 953 名前：１３２人目の素数さん mailto:sage [2006/03/16(木) 16:25:29 ]
- > 一階述語論理の公理系があって、それに固有公理を加えた形式的体系が
> 無矛盾であるとか、無矛盾でない、ということを言ってるんですかね？
どの本にもそういうことは書いてあるはずなので、間違った読み方をして
いるのだと思うが。
- 954 名前：１３２人目の素数さん mailto:sage [2006/03/16(木) 16:27:10 ]
- >>952
数論始めるときは一階の述語論理の推論規則と公理は前提にするのが、
普通のやり方と思うが。
「無矛盾」の意味は矛盾式が決して導かれないということだから、
公理に矛盾式が含まれず、推論規則が存在しなければ、無矛盾なのは自明では？
- 955 名前：１３２人目の素数さん mailto:sage [2006/03/16(木) 16:48:23 ]
- >>941
基礎論は知らないけど数学は知ってるって人が対象なら、
>>545にあるようなモデル理論の応用を見せるとか。
Hilbertの零点定理は代数閉体の理論の量化記号消去と同値
(正規化定理を使わない)ってのは、代数やってる人には結構面白いかも。
ただ「基礎論がどのようなものか理解してもらう」というのとは違うか。
- 956 名前：１３２人目の素数さん mailto:sage [2006/03/16(木) 18:47:09 ]
- ナンセンスというか、べつにそういう「形式的体系」を定義しても
いいけど、意味が無いよ、ということだけでは
- 957 名前：１３２人目の素数さん mailto:sage [2006/03/23(木) 23:53:59 ]
- 非古典論理上で「純粋数学」をしてる人ってどのくらいいるんですか？
ここでは取りあえず、何か形式的体系の(メタでなくオブジェクトの)定理群の持つ
驚異的な美しさや意外な関係や面白さを味わう事を「純粋数学」とし、
一階古典論理上のZFC(or BG)での「純粋数学」を「古典純粋数学」と言う事にします。
メタとオブジェクトの区別なんて相対的なものだけど、
そこら辺は感覚で(最もオブジェクト寄りとか)。
大分数学を曲解・矮小化してますけど、議論の簡易化のためという事で。
いわゆる代数・幾何・解析は「古典純粋数学」で、
大半の純粋数学者は「古典純粋数学」をやってると言えます。
一方直観主義論理+構成的集合論(or 圏論)という組み合わせも研究されているようですが、
その内容は「純粋数学」っぽくなく、メタ数学やら哲学やら計算機といった
話題ばかりが目に付きます(ネットで検索してみただけですが)。
その他のなんちゃら論理・なんちゃら集合論もどうもそんな感じです。
「古典純粋数学」とパラレルに「非古典純粋数学」が研究されててもいい気がします。
Euclid幾何とパラレルに非Euclid幾何があるように。
- 958 名前：１３２人目の素数さん [2006/03/24(金) 15:32:27 ]
- age
- 959 名前：１３２人目の素数さん mailto:sage [2006/03/24(金) 23:31:32 ]
- >>957
>>237 を参照
- 960 名前：１３２人目の素数さん [2006/03/25(土) 14:32:26 ]
- 紀元前２６０００年に大亜細亜日本帝国が誕生した。西はウラル山脈から
東は日本列島まで、南はオーストラリアまで征服した。これが日本の原型である。
- 961 名前：１３２人目の素数さん [2006/03/25(土) 14:41:13 ]
- 1+1=2になるのはどうしてですか？教えて下さい
- 962 名前：１３２人目の素数さん [2006/03/25(土) 14:54:17 ]
- 突然の質問ですが、
AD//BCの台形ABCDにおいて、AB=6,BC=13,CD=5,AD=8のときcosＢを求めよ。
この問題解ける方いませんか？
- 963 名前：１３２人目の素数さん [2006/03/25(土) 15:19:30 ]
- スレ違い
- 964 名前：GiantLeaves ◆6fN.Sojv5w [2006/03/25(土) 15:50:59 ]
- talk:>>962 いる。それが何か？
- 965 名前：１３２人目の素数さん mailto:sage [2006/03/25(土) 18:07:21 ]
- 真である命題全体の集合Aを考えた場合
証明不可能な問題はAに含まれるの？
- 966 名前：１３２人目の素数さん mailto:sage [2006/03/25(土) 18:43:53 ]
- >>965
証明不可能な命題の集合と言う事？
それなら一般には含みも含まれもしない
次スレ立てるときは「基礎論」という名前付けると
スレ違いの質問が多いから別の名前付けましょうか
数理論理学とかFoundation Of Mathematics とか
いずれにしても一寸ニュアンスが違うのが気になるけど
- 967 名前：１３２人目の素数さん mailto:sage [2006/03/25(土) 19:38:30 ]
- 「メタ数学スレッド」とか？それもちょっと違うのかな。
最初に注意書きでもあればテンプレ嫁で済ましてもいいかもしれない。
- 968 名前：１３２人目の素数さん mailto:sage [2006/03/25(土) 20:01:37 ]
- >>966
直観主義でなければ排中律を認める
排中律を認めるならば全ての命題は真か偽かのいずれかである
よって{真である命題全体の集合}に含みも含まれもしない命題は存在しない
ゆえに直観主義以外においては証明不可能な命題は命題ではない
というトンデモ理論を見た事がある
- 969 名前：１３２人目の素数さん mailto:sage [2006/03/25(土) 23:50:12 ]
- >>967
テンプレきちんと読む奴がそれほど居るか、疑問だけどね
>>968
＞{真である命題全体の集合}に含みも含まれもしない命題は存在しない
{.........}にそれ自身φもその否定￢φも含まれない命題は存在しない、
ということだろうかｗ
まあ真と証明可能の違いも、真と恒真の違いも考慮されてないから
どちらにせよ駄目だろうけどｗ
- 970 名前：965じゃないけど mailto:sage [2006/03/26(日) 00:52:28 ]
- >>966
どうもよく分からないんですが、決定不能な命題は真ではないのでは。
ならば決定不能な命題は「真である命題全体の集合」には含まれないのでは。
「真である命題」とは当然「真であると決定できる命題」のことでしょ？
違うんですか？
- 971 名前：１３２人目の素数さん mailto:sage [2006/03/26(日) 09:49:29 ]
- >>969
> テンプレきちんと読む奴がそれほど居るか、疑問だけどね
まあ、読めと言い捨てるためにテンプレを書いとくという考え方もあるかと。
- 972 名前：１３２人目の素数さん mailto:sage [2006/03/26(日) 12:15:55 ]
- その集合はZF？ZFC？
- 973 名前：１３２人目の素数さん [2006/03/26(日) 17:57:18 ]
- 【ロボットは人間にはなれない】の証明はどこで読めますか？
- 974 名前：１３２人目の素数さん mailto:sage [2006/03/26(日) 22:02:05 ]
- 「真である命題全体の集合」は公理的集合論では扱えないという事？
よくわからん
- 975 名前：１３２人目の素数さん mailto:sage [2006/03/26(日) 22:17:20 ]
- 現存関連スレ
・数学板
数理論理学やりたいのになんで哲学科なんだよ！
非古典論理について語るスレ
ゲーデル不完全性定理
・哲学板
【必然】様相論理 Vol K【可能】
論理学学習スレッド
バカでも分かる論理学
数学の哲学 (Philosophy of Mathematics)
「数理論理学やりたい～」スレの(スレタイはともかく)実際の使われ方は割とこのスレに近く、
このスレの次スレとして使えなくもなさそうな気もします。
新スレを立て、スレタイを変更するなら、
「数理論理学・数学基礎論スレ」と併記する辺りが無難かなと思います。
>>959
ありがとうございます。
どのようなモチベーションで研究されているのかもう少し調べてみます。
- 976 名前：１３２人目の素数さん mailto:sage [2006/03/27(月) 18:26:50 ]
- 一年百六十五日。
- 977 名前：１３２人目の素数さん mailto:sage [2006/03/27(月) 20:26:02 ]
- 証明不可能な命題ってのは{真である命題全体の集合}に入るか
{真である命題全体の集合}^cに入るのかが判らない命題
- 978 名前：１３２人目の素数さん mailto:sage [2006/03/27(月) 22:01:42 ]
- {真である命題全体の集合}
って
真である命題全体の集合
のことか
真である命題全体の集合の集合
のことかどっち？
「・・・の集合」て言葉と中括弧を重ねられると
「の中止を取り止める」みたいでわかりにくいんだけど
- 979 名前：１３２人目の素数さん mailto:sage [2006/03/29(水) 21:51:26 ]
- >>977は正しいの？？？？
ホントに？
- 980 名前：１３２人目の素数さん mailto:sage [2006/03/30(木) 06:02:55 ]
- >>970よりは>>977のほうがまし
- 981 名前：１３２人目の素数さん mailto:sage [2006/03/30(木) 14:43:16 ]
- 素人のおいらの理解
真である命題全部⊃証明可能な命題全部
偽である命題全部⊃反証可能な命題全部
真であり、かつ偽であるという命題はない
真であるのに「証明可能な命題全部」に含まれない、という命題がある
偽であるのに「反証可能な命題全部」に含まれない、という命題もある
- 982 名前：１３２人目の素数さん mailto:sage [2006/03/30(木) 23:13:52 ]
- 真であるとか真でないとか言う言い分を公理と証明以外のものに
もとめるという感覚が理解できません。
証明できないけど真だっていうのは、たとえばどういうこと？
- 983 名前：１３２人目の素数さん mailto:sage [2006/03/31(金) 00:06:29 ]
- >>982
>素人のおいらの理解
- 984 名前：１３２人目の素数さん mailto:sage [2006/03/31(金) 00:49:50 ]
- いや答えになってないし
- 985 名前：１３２人目の素数さん mailto:sage [2006/03/31(金) 14:27:59 ]
- 「証明可能」というときは公理系（理論）を固定して
「その理論において証明可能」というように相対化しないと
正しい理解にはならないよ
「文Aを証明する公理形が存在する」という意味で
「Aは証明可能」というのなら任意の文が「証明可能」になっちゃうし、
「文Aを証明する無矛盾な公理形が存在する」という意味でも
1階論理で反証されない任意の文が「証明可能」になっちゃう
- 986 名前：１３２人目の素数さん mailto:sage [2006/03/31(金) 14:34:45 ]
- 「真」の概念もそう
「任意の構造について真」とか
「自然数の構造Nについて真」とか
「ペアノ算術の任意のモデルについて真」とか
何についての真理のことを言っているのか常に自覚しないと駄目
- 987 名前：１３２人目の素数さん mailto:sage [2006/03/31(金) 14:49:41 ]
- ペアノ算術など、一定の条件を満たす無矛盾な公理系Tでは、
Aも￢Aも証明できない（算術の言語の）文Aが存在する
これが（第一）不完全性定理
すると、例えば自然数の構造Nは、ペアノ算術のモデルだけども、
「Nで真の文」と「Nで真でない文、すなわちNで偽の文」は
算術の言語の文すべての集合を2分割するので、
・AがNで真 （なのにTで証明できない）
・￢AがNで真 （なのにTで証明できない）
のどちらかが成り立つ
もちろんTと異なる体系T’では、証明できる文、できない文が
Tと異なってくる
例えばTに公理としてAを加えた体系T’を考えれば
Tで証明できなかったAが自明に証明できてしまう
それでもまた新たに、T’で証明も反証もできない文Bがでてくる
（T’が不完全性定理の条件を満たしていれば）
- 988 名前：１３２人目の素数さん mailto:sage [2006/03/31(金) 17:10:48 ]
- せっかくそういう説明しても>>982のようなやつには理解できないと思うよ。つーーーか
理解を拒否される気がする。
- 989 名前：１３２人目の素数さん mailto:sage [2006/03/31(金) 17:33:33 ]
- そういうもんかな
ゲーデル文のアイデアを「感覚的」な（半分嘘の）説明で
説明したほうがいいのかもしれないけど
自分で半分嘘と思いつつ書くってのはどうも抵抗が
でもやってみる
文Gを、「Gは証明可能でない」と定義する
Gが証明可能だと仮定すると、Gの述べることは真だから、Gは証明可能でなく、仮定と矛盾
従ってGは証明可能でない、ゆえにGは真である
というか>>982は、
「真でも偽でもない文が存在する」
という立場にコミットしてることを自覚してるのかな
（「真」の意味にもよるだろうけど）
- 990 名前：１３２人目の素数さん mailto:sage [2006/03/31(金) 20:06:05 ]
- >>989
言ってることはおおむねは分かってるつもりですよ。
つまりその「Gは証明可能でない」にあたる命題が、どのように
公理系を選んでも、自然数の体系を含む公理系である限り
体系内にできてしまうって話しでしょ？
＞「真でも偽でもない文が存在する」
＞という立場にコミットしてることを自覚してるのかな
そうですね。そうなってしまいますね。
（これをやると直観主義へ行ってしまうんですかね）
これはこれで変な主張だなとは思います。だから
私は何かを主張したいというよりも、単純にわからないんで
とまどってるんですよね。
ただ、排中律を無批判に認めるべきでない（「排中律を認めるべきではない」
ではない）という直観主義の立場もそれなりに理解はできる。
（ただ、無力ではないかという批判には反論できませんが）
たとえば、真でも偽でもない文の存在を認めると、背理法が使えない
場合がでてくるわけですが、数学のすべてが壊れるわけではないし、
背理法を使わない証明がない場合で、背理法を使うのがあやしいような場合は
構成的に証明できるようになるまでの暫定措置だとも考えられる。
（まあ、それなら排中律を事実上認めているわけですが）
それに、あと、単に「真」を「肯定証明可能」と同義にするか
しないかの言葉の問題にすぎない気もしてきました。
- 991 名前：１３２人目の素数さん mailto:sage [2006/03/31(金) 21:44:45 ]
- ある一つの（固定された）モデルにおいて、真でも偽でもないような文は無い
（つまり命題の真や偽は何故かは知らないがどちらかに決まっている）
と信じてそう仮定するのが普通のsemanticsだと思います
ある体系（論理の推論規則と公理と数学の公理）で証明可能、
というときに「ある体系」を意識するのが重要なのと同じで、
どの「モデル」で真か、というのが重要です
そして全てのモデルで真である、というのを恒真と言います
自然数論や集合論だと分かりにくいので、仮に
たとえば有限群論の公理系が与えられたと考えましょうか
∀a∃b a･b = b･a = e
とかが公理です（有限性をどう公理にするのか知りませんがｗ）
このとき、群の位数は偶数である、はモデルによって真になったり
偽になったりします
一方で群の位数を(p^n)q、qはpの倍数でなく、
pは素数としたときに、位数p^nの部分群が存在する、は恒真です
- 992 名前：１３２人目の素数さん mailto:sage [2006/03/31(金) 21:52:33 ]
- 直観主義にもKripke semanticsとかあるらしいんですが
勉強してないからしらないや
可能世界意味論とか言うらしいですが
さて、たとえば自然数論で言うと、第一不完全性定理の主張は
PAが無矛盾（つまり、証明できない文が存在する）なら
（まあ、我々は、自然数が矛盾概念であるかもしれないなどとは
考えないので、そうだと強く確信している訳ですが）、
通常我々が言うところの「自然数」をモデルにとったときは
「真」であるはずの文で、しかもPAから証明できない文が存在する、というのが
まあある程度正確な第一不完全性定理の主張です
- 993 名前：１３２人目の素数さん mailto:sage [2006/03/31(金) 22:20:18 ]
- ヒルベルト論理体系に基づく公理系自体が不完全なんだからその上にある自然数の公理が不完全でも仕方ないだろ
- 994 名前：１３２人目の素数さん mailto:sage [2006/03/31(金) 23:16:20 ]
- >>991
＞ある一つの（固定された）モデルにおいて、真でも偽でもないような文は無い
＞（つまり命題の真や偽は何故かは知らないがどちらかに決まっている）
＞と信じてそう仮定するのが普通のsemanticsだと思います
つまり、それ自体が公理なんですよね？
- 995 名前：１３２人目の素数さん mailto:sage [2006/03/32(土) 17:28:39 ]
- >>993
古典論理の一階述語論理自体は、
あれ以外のもの（証明能力があれより強いもの）は考えられないので
論理体系が「悪い」んじゃなくて、やっぱ自然数論の「せい」なんじゃないですかね
>994
まあそうですね
実際に何らかの方法で真偽が確定するわけじゃありません
僕も最初に勉強したときには結構違和感持ちました
あの種の研究を最初に始めたのはTarsikiとからしいです
- 996 名前：１３２人目の素数さん mailto:sage [2006/03/32(土) 18:26:50 ]
- 一年百七十日。
- 997 名前：１３２人目の素数さん mailto:sage [2006/03/32(土) 19:26:16 ]
- >>995
自然数数論云々はあくまでゲーデルが最初に自然数論を用いて不完全性を照明したという
歴史的背景によるものであって、チャーチとかは自然数論に持ち込まずに不完全性を証明してる罠
- 998 名前：下妻物語 [2006/03/32(土) 21:05:34 ]
- | ｲ ／／＼＼ .ﾄ |
| |／／ | ＼ヽl.| |
ヽ| ﾚ' ﾄ、| |
|/ Ｙ ヽ |/
||丶＿人＿_ノ | |
|| | | | .|
|| .|.__＿＿_|. |,..i
| |. | |
| |. | |
( ⊃ ( ⊃
栄えあるATがピンチです。助けて下さい。
AT最強！！
hobby7.2ch.net/test/read.cgi/bike/1142693513/
- 999 名前：１３２人目の素数さん mailto:sage [2006/03/32(土) 21:11:35 ]
- 999
- 1000 名前：1000 mailto:sage [2006/03/32(土) 21:11:39 ]
-
1000 円均一 ～
って、もう 寝よ っと。
基礎は睡眠にあり～
ってなんちって
てへ
- 1001 名前：１００１ [Over 1000 Thread]
- このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
|
 |
