@yan_tyabouzu 0は最小の有限順序数かつ有限基数であり、様々なデータ構造が持つ長さや深さは自然に有限順序数へのモノイド準同型を与えてそれら構造の上での帰納法に大きく寄与する訳ですがもちろんその程度の常識を語ったくらいではきっと感動して頂けませんよね。 #0は自然数
2011-11-01 20:09:40@0_uda @yan_tyabouzu もっと言うと n := {0, 1, ..., n-1} を定義とする自然数モデルでは加法・乗法・べき乗を n+m := #(n+m), n×m := #(n×m), n^m := #(n^m) と表せるという(続く) #0は自然数
2011-11-01 20:10:46@0_uda @yan_tyabouzu (続)...という有限基数の性質をよく表した素晴らしい(そして当たり前の)性質を持っています。これは 1 以上の整数では表現できない性質と言えるでしょう。 #0は自然数
2011-11-01 20:12:28@0_uda そういった数学的事実は一応数学科卒なので把握しております。数学的合理性の高さを否定するつもりは毛頭無いのです。数学がただ論理と合理性を追究するものであれば貴兄の発言は全面的に正しい。しかし私は『最も心に自然な数』を自然数とすべきだと考えます。 #0は自然数
2011-11-01 21:16:12@yan_tyabouzu 私にとってはそれ(数学的に合理的であること)こそが『最も心に自然な数』なのです。そこでお尋ねしたいのですが、貴方にとって『最も心に自然な数』とはどのようなものでしょうか。合理性以外で0を自然数としたくないその心をお聞かせ願いますか。 #0は自然数
2011-11-01 21:28:06@0_uda ま、ぶっちゃけた話、私は世間や数学会が権威的定義として #0は自然数 とするならそれはそれで一向に構わないんですがね。単に私は1から自然数の方が自然に感じるってだけの話ですから。
2011-11-01 21:28:40気が済むまでというか、Tween を虚の字専用にするに当たって零タブも削除するので、しばらくやらないです。代わりに今のうちにやっておこう的な。
2011-11-01 20:44:07例えば俺が「0が自然数である千の理由」という本を書いたところで、誰も見向きもしないだろう。だが、まずあり得ない話だが、俺が例えばリーマン予想を解決したうえ「ゼルプスト殿下の数学原論」という現代数学全体を概観する教科書を書いたとすれば、その本の記述が後世の数学になんらかの(続く
2011-11-01 20:52:38続き) 影響を与える可能性は高い。先日も言ったが、数学において大事なのは真実を明らかにすることだ。「0は自然数であるか否か」というのは、その意味での真実の範疇には入らない。
2011-11-01 20:54:27で、要するに何が言いたいかというと、「Φであるクラスタ」に属することで「¬Φであるクラスタ」の構成員を一般論で馬鹿にできると思っている人がもしいたら、嫌いになっちゃうよ、ということです。
2011-11-01 21:03:42@0_uda いや、あなたがそうしていると言うつもりはありません。が、「吹いたwwwwゼロは自然数じゃないだろwwww」とか「ゼロは自然数に決まってるだろアホか」というツイートは過去に実際にあったわけですから。
2011-11-01 21:28:40@tenapi あ、そういう意味でしたか… すみません直前のものを指してのことかと勘違いしました。私もそうならないように気をつけます。
2011-11-01 21:38:22でも、それだけでは無責任かもしれない。「自分は0を自然数に入れたい」が「そのことをそれ自体として問題にするに値するとは思わない」し「数学の理論を人と人の間に線を引くことに用いて欲しくない」というのが俺の立場です。 RT @tenapi: もうこの話題はスルーするーことにするー。
2011-11-01 21:42:08