- 1投稿者：ヾ(ﾟдﾟ)ﾉ゛ﾊﾞｶｰ 投稿日：2011年05月18日(水) 21時41分06秒
- http://oshiete.goo.ne.jp/qa/217225.html
1＋1＝2の証明って？役に立った：280件
質問者：taurus4
投稿日時：2002/02/13 19:26
困り度：暇なときに回答をください
1＋1＝2であることを証明できると聞きましたが
どうやってやるんですか？
虚数を使うとか何とかって言ってたような
質問番号：217225
No.4
回答者：aminouchi
回答日時：2002/02/14 07:28
えーと、1＋1＝2の証明はできます。
ただし、その証明は全部で大学ノート一冊分ぐらいになります。
と言いますのは、今からン十年ほど前に「数学基礎論」の講義を何年か連続して受講したことがあるのですが、ある年に半年かけて「1＋1＝2」の証明をやりました。基本的には、論理の公理系を設定してそこから演繹していきます。（厳密に言いますと初めの公理系の設定が一番大事なことであって、どのような公理系を作れば数の演算を証明できるかというのが基礎論の授業の眼目です。）
なお、虚数はその定義からして、すでに「1＋1＝2」を利用していますから証明には使えません。（つまり、足し算の拡張としてかけ算があり、そのかけ算の一部として、何乗とか何乗根というのがあるわけです）
さらに蛇足ですがＮＯ1の方の参考ＵＲＬを拝見させていただきましたところ、そこでの議論はつっこみが不足しているような気がしました。作者についての情報がありませんので、なんとも言えませんが「数学」自体についてしっかり考えたことがあるとは思えない内容でした。
- 2投稿者：こうは 投稿日：2011年05月18日(水) 22時10分26秒
- 何がどう役に立つんだ？
りんごとみかんの数でも合わせたらいいじゃねえか
- 3投稿者：ヾ(ﾟдﾟ)ﾉ゛ｱﾎｰ 投稿日：2011年05月18日(水) 22時21分52秒
- ただの好奇心でしょ
- 4投稿者：こうは 投稿日：2011年05月18日(水) 22時25分19秒
- どんなくだらないことをはじめるかの？
- 5投稿者：ヾ(ﾟдﾟ)ﾉ゛ﾊﾞｶｰ 投稿日：2011年05月18日(水) 22時25分27秒
- 旧カロですべったからこっちで立てようという>>1の根性が気に食わん
- 6投稿者：ヾ(ﾟдﾟ)ﾉ゛ｱﾎｰ 投稿日：2011年05月18日(水) 22時27分39秒
- 1＋1＝田
- 7投稿者：ヾ(ﾟдﾟ)ﾉ゛ﾊﾞｶｰ 投稿日：2011年05月19日(木) 02時25分03秒
- １＋１≠２としてあーだこーだやった方がそれらしくならね？
- 8投稿者：ヾ(ﾟдﾟ)ﾉ゛ﾊﾞｶｰ 投稿日：2011年05月19日(木) 20時32分53秒
- 1のリンク先を見る限りではそういう話ではないな
- 9投稿者：ヾ(ﾟдﾟ)ﾉ゛ｱﾎｰ 投稿日：2011年05月19日(木) 20時37分55秒
- けっこう面白い
- 10投稿者：ヾ(ﾟдﾟ)ﾉ゛ﾊﾞｶｰ 投稿日：2011年05月19日(木) 20時44分00秒
- 普通の「証明」とは全然違う意味の「証明」なんだな
たとえば
次の不等式を証明せよ a^3 + 3b^3 ≧ 3ab
という問題のとき普通は「＋とは何か」とかいちいち定義しないけど
>>1の「証明」では「＋とは何か」とか「1，2･･･とは何か」とか
定義することから求められている、と
- 11投稿者：ヾ(ﾟдﾟ)ﾉ゛ﾊﾞｶｰ 投稿日：2011年05月19日(木) 20時50分14秒
- 足し算の定義に感動すた
- 12投稿者：ヾ(ﾟдﾟ)ﾉ゛ｱﾎｰ 投稿日：2011年05月19日(木) 20時54分18秒
- まるでプログラムやで
- 13投稿者：ヾ(ﾟдﾟ)ﾉ゛ｱﾎｰ 投稿日：2011年05月24日(火) 16時07分08秒
- >>1のリンク先の説明は、特に何も知識がなくても理解できるように
これだけでわかりやすく完結しているとこが良い
- 14投稿者：こうは 投稿日：2011年05月24日(火) 16時14分06秒
- あいうえおのあとは何かみたいなくだらない話
- 15投稿者：ヾ(ﾟдﾟ)ﾉ゛ｱﾎｰ 投稿日：2011年05月24日(火) 16時18分46秒
- プログラマのくせにこの面白さが分からないおとこのひとって、、、
- 16投稿者：ヾ(ﾟдﾟ)ﾉ゛ﾊﾞｶｰ 投稿日：2011年05月27日(金) 21時48分19秒
- 17投稿者：ヾ(ﾟдﾟ)ﾉ゛ﾊﾞｶｰ 投稿日：2011年05月27日(金) 21時44分46秒
俺も騙されたと思ってご飯に味噌乗せて食ってみたら本当に美味かったんで驚いた
1+1=2じゃないって感じ