[過去ログ] Inter-universal geometry と ABC予想 23 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
693
(1): 2018/01/17(水)03:28 ID:0LMLFy16(1/3) AAS
>>663
ピタゴラスの定理は、
概念からなる図を書いて定義すれば、導出された数式は自明
695
(1): 2018/01/17(水)06:05 ID:0LMLFy16(2/3) AAS
>>694
概念は図を見るだけで、自明だよ。

では一般論として、もととなる定理は、何の定理で導出されるのかな。
そのまたもとの定理は、何の定理で導出されるのかな。

無限に、もとの定理がある訳がないので、最初の定理があるはず。
その最初の定理は、何か定理で導出されないと、いけないの?
697
(1): 2018/01/17(水)06:40 ID:0LMLFy16(3/3) AAS
>>696
「とてつもなくごく自然な前提」は、「自明」と同じだから、
定理の中には、自明ですむ定理もある。

そうすると、
 >数学の定理に「自明」はありえない。
>特に 主定理ではね。

は、反例となる数学の定理がある、ことになり、
省1
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.029s