![](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で質問しましょう!
似たような質問が見つかりました
- 数学 『弧は弦より長し』 8 2022/04/18 10:23
- 特撮 ジョジョ、DIO、ザ・ワールド 3 2023/02/20 16:39
- ビジネスマナー・ビジネス文書 本社宛に送る封筒の書き方を教えて欲しいです。 スーパーで扶養内でアルバイトをしていて、先日退職しまし 2 2023/08/22 09:08
- 数学 数学の問題についてです。 この問題は背理法による証明の問題なのですが、 写真右上の赤線「rを有理数と 2 2022/06/28 16:28
- 教育学 数学の問題についてです。 この問題は背理法による証明の問題なのですが、 写真右上の赤線「rを有理数と 1 2022/06/28 16:26
- 数学 『◯と●の帰納法』 2 2023/04/19 20:57
- 歴史学 今邪馬台国がどこにあったのかで悩んでます。 学校で大和説が有力だと教わりましたが、なぜ有力なのか細か 4 2022/04/05 14:59
- 哲学 神の《二性性相》とは いったい何のことか? 2 2022/07/17 06:00
- 哲学 《統一原理》に言う《神の〈二性性相〉》説への批判です 4 2022/07/31 04:00
- 賃貸マンション・賃貸アパート SOS 3 2022/09/25 12:34
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の証明問題で、「証明終了」...
-
素数の積に1を加算すると素数で...
-
数学の「証明」のときなどの接...
-
「証明証」と「証明書」はどう...
-
なぜ独身だと養子が持てないの...
-
3,4,7,8を使って10を作る
-
(4^n)-1が3の倍数であることの...
-
証明終了の記号。
-
幽霊が存在していないことを証...
-
素数の性質
-
無理数って二乗しても有理数に...
-
「一般性を失うことはない・・...
-
3の倍数であることの証明
-
極限に関する証明について
-
証明
-
平均値の定理を利用(?) arcsin(...
-
近所の隣の家の娘さんが結婚し...
-
アキレスと亀がなぜ不思議でな...
-
2+3=5
-
マッチングアプリのプロフィー...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
素数の積に1を加算すると素数で...
-
証明終了の記号。
-
数学の証明問題で、「証明終了」...
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
幽霊が存在していないことを証...
-
「証明証」と「証明書」はどう...
-
rankに関する証明問題です。
-
よって・ゆえに・したがって・∴...
-
一様連続の証明
-
素数の性質
-
中3数学 2つの続いた整数では、...
-
(4^n)-1が3の倍数であることの...
-
スカラー場とベクトル場
-
なぜ独身だと養子が持てないの...
-
夫が亡くなった後の義理家族と...
-
無理数って二乗しても有理数に...
-
婿養子に入ったのに出て行けと...
-
兄弟の子どもの養子縁組は可能...
-
一様連続 e^x 証明
おすすめ情報