数学TLまとめ その2 平行線公理の話
ゆとりまくりな高卒プログラマ @its_out_of_tune の数学TLまとめ第二弾。
本日のお題は「平行な直線が交わらない事を証明したい!」
- its_out_of_tune
- 3614
- 0
- 0
- 0
ちゅーん
@its_out_of_tune
@__odashi__ 少なくとも今日自分がググった範囲ではそんな感じです。あと、今日自分が掲げた命題も「平行線が交わらないことの証明」だったんで、理論的に問題なければ取り敢えずこれで解決かなぁと…
2012-03-06 20:34:11
くいなちゃん
@b2
@its_out_of_tune うぃきぺ、見てきました。 問題の記述によれば、非ユークリッド幾何学の矛盾が無い限り、平行線公理は他の定理から導出できない、ということみたいですね。 ちょっと誤解を招きそうな書き方だったので、気になりました。
2012-03-06 20:34:48
ちゅーん
@its_out_of_tune
@kuina_tesso ありがとうございますです。数学的な言い回しについては色々と試行錯誤中です(´・ω・`)ガンバリマ
2012-03-06 20:36:43くいなちゃん、相変わらず神出鬼没です。
ちゅーん
@its_out_of_tune
あの、あれ、数学的な言い回しってのは http://t.co/Gkd26OAX みたいな事が言いたかったのです。今日はこれ以上突っ込まれたら死ぬ。
2012-03-06 21:04:46
くいなちゃん
@b2
@its_out_of_tune デカルトは、演繹大好きですから、言葉で論理立てるのにかなり参考になるです。 数学でおなじみの X-Y 平面を考案した人ですね。
2012-03-06 21:13:16とにかくこれで、「双曲幾何学」や「楕円幾何学」についてもっと調べれば、JCにモテモテ/バラ色の人生が待っているわけです。
そんなわけで、頑張ります!!
ところで
ロバ「チェフ」スキーの事ですね。
ニコライ・イワノビッチ・ロバチェフスキー(1792年12月1日 - 1856年2月24日(グレゴリオ暦)/1792年11月20日 - 1856年2月12日(ユリウス暦))