[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
502(1): 11/08(土)12:00 ID:ZuSEB9pS(10/21) AAS
>>499
>数百通りの証明を 理解し 覚えておく必要はなく
>代表的なものを知っておけばいい
誰もそんなことは言ってない。
>>495程度の簡単な証明がサクッとできないようでは、どんなに数学書を読んでも分かった気分になるだけで決して分かることはない。
なぜなら、論理は数学の基礎であり論理が分からなければ数学は分からない、且つ数学書は読者が論理を分かってる前提で書かれている（つまり論理の説明は一切書かれてない）から。
503(1): 11/08(土)12:17 ID:TJf5D2X1(1/2) AAS
ある大数学者が若い時に
自分は論理も計算もない数学をやってみたい
と言ったとか
数学者にはこういう気宇壮大さも必要だろう
504: 11/08(土)12:24 ID:ZuSEB9pS(11/21) AAS
>人の思考は一階述語論理に縛られない
そもそもセタはぜ一階述語論理を忌み嫌うのかい？
命題論理を受け入れて一階述語論理を忌み嫌うのはなぜ？
それとも命題論理も忌み嫌ってる？
505: 11/08(土)12:27 ID:ZuSEB9pS(12/21) AAS
>>503
ストローマン乙
その大数学者は論理を分かってないと？ んなこたーねーだろ？
506: 11/08(土)12:29 ID:ZuSEB9pS(13/21) AAS
ていうか命題論理と述語論理の違いもちんぷんかんぷんかｗ
聞いた俺が馬鹿だった orz
507: 11/08(土)12:37 ID:ZuSEB9pS(14/21) AAS
>>500
>「証明」とは論理だけではなく，なぜそれが成り立つかを成程と納得させ確信させる説明といってよいでしょう
その通り。
だからショルツェらを納得させられないIUTはabc予想の証明になってない。
本来なら指摘者を納得させようと努力すべきなのに逆ギレしてるようじゃ話にならん。
508(1): 11/08(土)12:47 ID:TJf5D2X1(2/2) AAS
>>ショルツェらを納得させられないIUTはabc予想の証明になってない。
査読者(たち)は納得したのではなく
説得された(またはそのふりをした)というわけか
509: 11/08(土)13:00 ID:AvBga2zV(1) AAS
カタワって身体障害者の事を言うんだろ？精神障害者はなんていうの？ [194767121]
2chｽﾚ:news
510(1): 11/08(土)14:27 ID:hP1E8Bup(7/11) AAS
>>508
そうかも知れませんがそれは明かされないでしょう
理解して査読を行ったはずの査読者が解説してくれるといいんですが
それも望めません
511(1): 11/08(土)15:07 ID:3nB+TfKS(7/11) AAS
>>488
>東北大 尾畑研のpdf程度で 良い
第一章の１．４に述語論理出てくるけど、
カラスの世田はこんな基本的なことも
何ひとつ全然理解できてないよ（バッサリ）
外部ﾘﾝｸ[pdf]:www.math.is.tohoku.ac.jp
512: 11/08(土)15:28 ID:3nB+TfKS(8/11) AAS
>>488
＞20世紀中頃は、数学は コテコテの一階述語論理を優先すべし
＞（代表例がεδ式）と教える人が多かったが
つまりカラスの世田は、コーシー列の定義が理解できない、ってコト？
∀ε＞０．∃ｎ∈Ｎ．ｍ１，ｍ２＞＝ｎ⇒｜ｘ＿ｍ１−ｘ＿ｍ２｜＜ε
＞今21世紀は、もう少し 多様な考えが出てきた（その代表が超準や圏論）ように思います
∀も∃も使わないコーシー列の定義が、
「超準」とか圏論で、どうやったらできるのか示せる？
口から出まかせの嘘つきカラス君
513(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)16:42 ID:P9qVEF++(12/25) AAS
>>492 補足
背理法とベン図 及び 背理法の使いどき 下記
『ただ1通りに表される vs 2通りの表し方がある』は、手筋です
外部ﾘﾝｸ:detail.chiebukuro.yahoo.co.jp
ove********さん 2013/1/4
背理法ってベン図かなにかで可視化できませんか？
外部ﾘﾝｸ:detail.chiebukuro.yahoo.co.jp
ove********さん 2013/1/4
なぜp⇒qという命題の背理法では結論を否定して矛盾を見つけるんですか？
ベストアンサー
省13
514(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)16:43 ID:P9qVEF++(13/25) AAS
つづき
外部ﾘﾝｸ:manabitaizen.com
背理法の使いどきと複数の文字を含む条件
ホーム 本一覧 武器になる数学? 第1章 数と式・集合と命題
第10回 背理法の使いどきと複数の文字を含む条件 20240327
この記事では慣れないと使うのが難しい背理法をどんな場面で使えばよいのか具体例を挙げてまとめていきます。また、複数の文字を含む複雑な条件について考え、「すべての」や「ある」を付けるとどうなるか考察を深めます
目次
1. 背理法の使いどきまとめ
どんなときに背理法を使いたいと考えるかというと、証明する命題を否定したほうが扱いやすく、議論が進めやすいときです。 つまり、扱いやすい・扱いにくいペアを知ることが背理法を考えるヒントになります。これをまとめたのが下の表です
扱いにくい vs 扱いやすい
省13
515: 11/08(土)17:02 ID:ZuSEB9pS(15/21) AAS
>>513 >>514
可視化だの分かりやすいだの高校生かよｗ
大学生なら証明しろｗ
516: 11/08(土)17:17 ID:ZuSEB9pS(16/21) AAS
>>496
>>矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス
>そうだね
分かって言ってる？ 背理法も分からないんじゃ疑わしい
【定理】
P,Qを任意の論理式とする。P∧¬P |= Q。
【証明】
(1) P∧¬P (前提)
(2) P ((1)と連言除去)
(3) P∨Q ((2)と選言導入)
省2
517(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)17:18 ID:P9qVEF++(14/25) AAS
>>510
>理解して査読を行ったはずの査読者が解説してくれるといいんですが
>それも望めません
終わっていると思う
IUT査読完了発表が、2020年4月で出版が 2021年3月
一方、これに合わせて September 2020 - April 2021 に
”Promenade in Inter-Universal Teichmüller Theory”下記
が、行われた
この中の フランス Lille大 Fresse、Dèbes
それに 東工大(当時) Wakabayashi
省42
518: 11/08(土)17:28 ID:ZuSEB9pS(17/21) AAS
>>513 >>514
>人の思考は一階述語論理に縛られない
こんな能書き垂れて勉強しないから背理法ひとつ証明できないんだよど素人くん
519(1): 11/08(土)17:32 ID:ZuSEB9pS(18/21) AAS
大学数学でベン図で可視化とか言ってたらそりゃ落第するわなｗ
520: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)17:45 ID:P9qVEF++(15/25) AAS
>>502
>ある大数学者が若い時に
>自分は論理も計算もない数学をやってみたい
>と言ったとか
>数学者にはこういう気宇壮大さも必要だろう
たとえば どういう数学者・・・？
そうか！ 佐藤幹夫先生だ！！ｗ
論理も計算も、弟子や同僚が主にやったという
例えば 証明は、柏原先生の担当
佐藤-Tate 予想の数値計算は、難波完爾先生が
省19
521(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)17:49 ID:P9qVEF++(16/25) AAS
>>519
>大学数学でベン図で可視化とか言ってたらそりゃ落第するわなｗ
話は真逆 >>13-14
加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
＜“big picture”＞ Career advice Terence Tao
これを、常に心がけるべし！ ；ｐ）
上下前次1-新書関写板覧索設栞歴
あと 481 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s