![](http://oshiete.xgoo.jp/images/v2/common/profile/M/noimageicon_setting_05.png?e8efa67)
No.3ベストアンサー
- 回答日時:
お礼、ありがとうございます。
#2です。>お勧めやお気に入りはありますか?
ご質問ですので無い知恵絞って「こういう方向にあるはずですよ」と回答は致しましたが(^^;、自分では証明が欲しいとは思いません。数学研究者ではなく、数学ユーザですので「自明」、せいぜい「数えたら確かにそうなる」で充分なんですね。
数えたら確かにそうなる、という点では、自然数の加法が1増やすことによって帰納的に定義されている点に近いのかもしれません。2+3=suc(suc(suc(2))=suc(suc(3))=suc(4))=5、といった感じでしょうか。ただ、これには「3回繰り返している/重ねている」などの未定義のものが含まれますから、証明ではありませんね。
数学基礎論について、以前に私に教えを垂れてくれた碩学は、正気を保つのが難しいから深入りするなと忠告してくれました。少しだけ入り込んで見て、その通りと感じたので、それ以上の深い入りは避けました。ブルーバックスの現代数学小辞典読むくらいで留めています。
No.4
- 回答日時:
基礎論がお分かりの上でのご質問ですね。
でも、なにも自然数全部を持ち出さなくたって2+3は出来そうです。2+3をやってみましょう。こっちの手でゆびを2本出しなさい。反対の手でゆびを3本出しなさい。並べて数えてごらん。5本? はい、よくできました。
が証明になってないとするなら、一体これのどこに問題があるのか、というハナシ。日常で言う「たしざん」はまさにこのようなものでしょう。それを形式化した(つもりの)加法が「たしざん」と一致するかどうかは、(問題があると言うんだったら)形式化した方が責任を持たねばならん、というのが筋であり、その際には「何を以て証明と認めるか」についても、これまた日常で言う「スジが通ってて抜けが無い話」になってるかどうかということと対比されねばならない。
逆に、そういう面倒はごめんだというのであれば、幼稚園児のやる2+3とは無縁の形式的体系として数学を構築して、現実世界の話とはすっぱり手を切ればいいだけです。そうすれば、現実との対応付けを考える責任は数学を応用する側におっつけることができます。そしてまた、手を切らなきゃ選択公理なんて使えないんじゃ?
ありがとうございます。
悩んだら、
自然数は神が作られた。
と言い切ってしまうのも良いのかもしれませんが、
親切な神様を知らないので時々悩んだりしています。
超準解析では、証明が簡単になったりすることもあるので、
基礎的なものについて深く考えることも大切だと思ってはいるのですが、
なかなか難しいです。
アドバイスありがとうございました。
今後もご指導よろしくお願いします。
![](http://oshiete.xgoo.jp/images/v2/common/profile/M/noimageicon_setting_05.png?e8efa67)
No.2
- 回答日時:
自然数の加法までの数学基礎論の定義を既知としてよいのであれば、それを具体的に当てはめればいいでしょうね。
そうではないとすれば、大変なんじゃないかと思います。1+1=2にたどり着くまでに600ページ以上費やしてますから、数学基礎論の古典の数学原論でも(同書の定義、証明を甘いとする人もいるのに)。
ありがとうございます。
自然数の定義にもいろいろありますので、
どの定義を採用するかの問題になりますね。
ペアノの方法
空集合から作る方法
直感主義での方法
超準解析での方法
など。。。
お勧めやお気に入りはありますか?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・ゆるやかでぃべーと タイムマシンを破壊すべきか。
- ・「I love you」 をかっこよく翻訳してみてください
- ・歩いた自慢大会
- ・許せない心理テスト
- ・字面がカッコいい英単語
- ・昔のあなたへのアドバイス
- ・かっこよく答えてください!!
- ・あなたが好きな本屋さんを教えてください
- ・スタッフと宿泊客が全員斜め上を行くホテルのレビュー
- ・【大喜利】【投稿~8/27】 こんなガソリンスタンド二度と来るか!なぜそう思った?
- ・これ何て呼びますか Part2
- ・人生で一番思い出に残ってる靴
- ・【お題】動物のキャッチフレーズ
- ・【お題】甲子園での思い出の残し方
- ・ゆるやかでぃべーと すべての高校生はアルバイトをするべきだ。
- ・「それ、メッセージ花火でわざわざ伝えること?」
- ・自分用のお土産
- ・人生で一番お金がなかったとき
- ・一番好きなみそ汁の具材は?
- ・泣きながら食べたご飯の思い出
- ・ちょっと先の未来クイズ第1問
- ・ゴリラ向け動画サイト「ウホウホ動画」にありがちなこと
- ・初めて自分の家と他人の家が違う、と意識した時
- ・単二電池
- ・チョコミントアイス
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
数学の証明問題で、「証明終了」...
-
未婚ですが養子をもらうことは...
-
3,4,7,8を使って10を作る
-
お婿さんを貰った時の結婚式に...
-
1だけ大きい過剰数が存在しな...
-
ぶすですか?
-
「・・・のとき」という言葉の...
-
再婚を考えてますが、養子縁組...
-
60代男性の女性に対する本音...
-
ゼロの証明方法
-
素数の性質
-
√nが有理数ならばnが整数 証明 ...
-
素数の積に1を加算すると素数で...
-
(4^n)-1が3の倍数であることの...
-
リアルサトラレを治す方法あり...
-
この式の答えとは・・?
-
数学的帰納法
-
実息とは?
-
独身女が養子をもらうことって...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
数学の証明問題で、「証明終了」...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
婿養子です、妻と離婚して妻の...
-
√2が無理数であることの証明で...
-
証明終了の記号。
-
素数の性質
-
婿養子に入ったのに出て行けと...
-
3,4,7,8を使って10を作る
-
無理数って二乗しても有理数に...
-
(4^n)-1が3の倍数であることの...
-
素数の積に1を加算すると素数で...
-
素数の平方根は無理数である。
-
親の再婚相手との問題です。私...
-
「証明証」と「証明書」はどう...
-
下の問題では漸化式の形から≠0...
-
47歳、母親の再婚を子供の立場...
-
ぶすですか?
-
直角三角形の性質
おすすめ情報