1+1=2の証明について、概要をかいつまんで説明してくれているWebページを紹介してください。日本語でお願いします。ネタ回答については、ご遠慮いただけますよう何卒お願いいたします。

こちらこそ

コメント入れる前に回答してしまい　申し訳ないです。。

ありがとうございました。

>コメント入れる前に回答してしまい　申し訳ないです。。

いえ、今回はコメントは私にとっては重要ではなかったので全然ＯＫです。

（下記回答してくださった皆様へ）

初質問でした。
ポイントの消耗度合いが良く分からず、早めに打ち切らせていただきました。いまからじっくり読ませていただきます。

ポイント配分については、「求めていたもの」かどうか、「オリジナルに探してくださったものかどうか」を基準にしました。類似Ｗｅｂでも結構出ていたのは、迂闊にして知りませんでした。

大変ありがとうございました。

証明してみました

できるだけ数式や記号を使わずに証明してみました。
良かったら見てみてください。
http://d.hatena.ne.jp/garyo/20050106/1104997177

Re:証明してみました

>できるだけ数式や記号を使わずに証明してみました。
>良かったら見てみてください。

大変ご丁寧に有難うございます。ペアノの公理系をかみくだいて下さった部分が非常に分かりやすかったです。

大分まえに買ってほおりだしてあった早川の一般書(「史上最大の発明アルゴリズム」)にも紹介されているのを思い出しちょっと開きなおしてみたんですが、
1.∀〜(Sx=0)
2.∀x∀y((Sx=Sy)⊃x=y)
3.∀x(x+0=x)
∀x∀y(x+Sy=S(x+y))
4.∀x(x×0=0)
∀x∀y(x×Sy=(x×y)+x)
と、とりあえず出てきてチョット説明、って感じで、丸きり読み飛ばしの上に、NPに対して「(nonpolynomial、非多項式)」などカッコ書きをしてるのを見つけて(→初版で確認)、げんなりしたため、完全に読むのをやめてしまっていました。

ペアノの公理系については、garyoさまの大変分かりやすくかみくだいて下さった説明のおかげで、私のような半可通でも、相当に、かじれた気分になりました。大変有難うございました。