TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
世界史的数学難問を解いた佐野千遥を語るスレ
数学が楽しすぎるんだがいつまで続くんだろうか
数学の本 第85巻
奇数の完全数の存在に関する証明5
5日間のうちに株を売ると決めている場合、いつ売ると最も期待値が高いか?但し株価は無作為に変動します
分からない問題はここに書いてね456
お前ら数理工学に来ないか?
教育学部から東大大学院理学部数学科を目指したい
ホモロジーとコホモロジーってどうちがうの
【理3悲報】 高専>理3
260 :
おっちゃんです。
>>243
>>有限回の推論に基づくことのみを適用して有限回の推論で矛盾を導いて

>数学的帰納法や超限帰納法は、有限ですか無限ですか?
これも有限回の推論になる。

261 :
>>243
>>219
>定理1.7は、背理法ではありませんよ
>だから問題なんです
>>218-219の補足だが、命題 P→Q を示すにあたり、背理法で
命題 P∧ ¬Q を偽と仮定したことは、Pであって かつ Qでない ことを仮定したことになる。
これは定理1.7でいうと、 「R−Bf が内点を持たない閉集合の高々可算和で被覆出来」て
かつ 「f :R→R は如何なる開区間の上でもリプシッツ連続ではない」ことを仮定したことになる。
つまり、「R−Bf が内点を持たない閉集合の高々可算和で被覆出来」て かつ
「f :R→R は如何なる開区間の上でも微分不可能 または fが或る開区間上微分可能だとしても導関数 f' は不連続である」
ことを仮定したことになる。これは、スレ主に従うと、そのままスレ主の主張に当てはまることになる。
そして、>>218-219>>218で書いたことの一部と似たような内容になるが、定理1.7を偽として真の命題である系1.8を導く証明が正しいとする。
そうすると出だしの定理1.7が偽だから、定理1.7とは違う他の命題 P' で任意に置き換えて、命題 P' から系1.8が導けることになる。
だが、このようなことはあり得ない。だから、定理1.7を偽として真の命題である系1.8を導く証明は正しくない。
だから、定理1.7を真として真の命題である系1.8を導く証明をすることになる。
それ故、このように、スレ主の主張に対して>>218-219の内容に似たことが適用されることになる。

262 :
>>243
>>220
>「完全に適用していない」とか、関係ないでしょ? 一部だけの使用でも矛盾が導ければ同じと考えます
一部の使用だけだと、使った部分のみを仮定とする命題を示したことになる。
理由はやはり>>218-219>>218の一部の内容に似たことが適用されることになる。

>>261の「>>218で書いたことの一部」やこのレスでいう「>>218の一部」とは、具体的には
>これを行うにあたり、Qの否定 ¬Q からいえることだけを適用して有限回の推論で矛盾を導けて P→Q を導けるとする。
>そうすると、P、Qは両方共に真か偽のどちらか一方で、示すべき命題 P→Q は元々真だから、
>仮定のPを任意の(Pとは異なる他の)仮定 P' で置き換えて P'→Q を背理法で示せることになる。
>つまり、一般論として、結論Qが与えられた上で、任意の仮定 P' に対して、命題 P'→Q を背理法で示せることがいえる。
>だが、これはあり得ない。
の部分のこと。

オイラーの贈物 (吉田武著)
Inter-universal geometry と ABC予想 26
痴漢バレて叩かれた腹いせに荒らすのはやめろ
高校数学の質問スレPart403
現代数学の系譜11 ガロア理論を読む29
分からない問題はここに書いてね443
関東弁は下品なエビス言葉と認めるしかないのでは?
分からない問題はここに書いてね458
三大数学を使う学問「物理学」「経済学」
Michael F. Atiyahがリーマン予想を証明しました。
--------------------
【..φ
【KONAMI】実況パワフルサッカー 292【パワサカ】
日本製短波ラジオ ICR-N1
なんJお絵描き部★61
【バーチャル】hololiveアンチスレ#2929【youtuber】
【DK】ドンキーコング総合スレ【ゲーム】
馬券王よっさん
【mobage】アイドルマスターシンデレラガールズ26424人目
【マターリ】NHKマターリ実況(地震・災害関連情報)◆2506
大衆食堂を「汚い」呼ばわりする石橋貴明2鬼畜
訪問入浴で働いてる人、働こうと思ってる人のスレ
歌舞 伎町1 - 1 -19同 栄新宿 ビル1 0 04号 渡.. ナベ 泰.. 介
【絵描きオフ者専用】何が何でも雑談したい【大手派生】◆129
■■税理士試験運営の不手際報告スレ■■
小泉の傲慢ががついに民間人を殺してしまった。
( ^ω^)今日も負けたお334日目
嫌ポケモンGO部 ★403 [892297506]
【臭い初老糖尿末期】東京kitty455【神殿差押】
【テレ朝】弘中綾香24【激レア探偵オレンジ】
【時事】職場でのLGBT差別は違法 米連邦最高裁が判断 [首都圏の虎★]
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼