[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
61(1): 11/02(日)21:39 ID:kHsCJN3F(7/7) AAS
>公理的集合論の外（素朴集合論）から見ると
公理的集合論の外の意味が全く不明だが（笑）
>実数Rの有理数Qによる同値類R/Qを考えることは可能であり
少なくとも有理数Ｑ全体の集合が存在し
有理数Ｑの部分集合の全体集合が存在する
と前提しないなら「可能」とは言えんな
>また、同値類R/Qの代表を考えることは可能である
省21
62(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/03(月)09:43 ID:RGcnI1b5(1/10) AAS
>>60
(引用開始)
>もし、可算選択公理しか認めないならば
>もっと簡単に、
>”任意の実数の部分集合が 可測である model”
>の存在が証明できるだろう
>（どうやれば良いかは知らないが）
できねぇわ 🐎🦌
なぜ「できない」と断言できるか？
可算選択公理を満たし
省27
63(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/03(月)09:50 ID:RGcnI1b5(2/10) AAS
>>61
>>また、同値類R/Qの代表を考えることは可能である
>選択公理なしにそんなことは不可能だがな
あたま悪そうだな ；ｐ）
人は、ZFCの外で思考している（思考できる）
それに加えて、人の思考は 一階述語論理に縛られない
だ か ら、一階述語論理ZFに加えて「選択公理あったらいいね」が
考えられるんだよ
バカだな （＾＾
64(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/03(月)10:09 ID:RGcnI1b5(3/10) AAS
>>59
>学習は記憶ではない
>カラスの世田は必死に公式を記憶して大学入試を突破したのだろうが
>そのやり方が間違っていたから大学数学が全く理解できずに落第した
真逆だよ
数学に王道なし を 真に受けて 廃人になりかけた わんこらさん(京大数学科)の実例がある（下記）
杉浦先生を弁護しておくが、「解析入門1」を書店でチラ見したが、そう難しいことは書かれていない
だが、冒頭で 多分確認用に 軽いノリで 必要な集合論の知識を さらっと書いてあるんだ
だが、わんこらさんは ”数学に王道なし を 真に受けて” この軽いノリの集合論の知識を
独学で理解しようとしたらしいね（高校卒業後の学部1年の最初に）
省33
65(1): 11/03(月)10:25 ID:2XITUXgJ(1/4) AAS
自分に合わないものを無理して続ける心理状態というものがある
66: 11/03(月)11:23 ID:nkvgQbyQ(1/7) AAS
まさにセタじゃん
数学は奴に合わないのになぜか数学板に居座り続けるセタ
67(1): 11/03(月)14:27 ID:zPwaMpUP(1) AAS
> 2）池上大祐の答えは「現状では グロタンディーク宇宙は必要」
> ということだった
これはその人が言ったことですか？
68(1): 11/03(月)16:06 ID:u7vdmd1+(1/14) AAS
>>62
>Solovay model httpsの示すところは、
>ZF+従属選択公理+到達不能基数 において
>「実数のすべての(部分)集合はルベーグ測定可能」
>となる モデルの存在が示せるということだね
A）ZF+従属選択公理+到達不能基数を満たし
「実数のすべての(部分)集合はルベーグ測定可能」
となるモデルの存在が示せる、
と
B）ZF+従属選択公理+到達不能基数から
省26
69: 11/03(月)16:07 ID:u7vdmd1+(2/14) AAS
>>62
>ルベーグ測度 ”可算集合のルベーグ測度は必ず 0 である”を 思い出そう
そもそも、思い出さなくても、可算濃度の集合のルベーグ測度は必ず０だと証明できる
なぜなら任意の１点の測度が０だから、０を可算個足しても０（可算加法性）
これ豆な 大学１年の微積で落第したカラスの世田は知らんだろうけど（笑）
70(2): 11/03(月)16:14 ID:u7vdmd1+(3/14) AAS
>>63
>人は、ZFCの外で思考している（思考できる）
↑素人の妄想 その１
前提なしに意味のある論理的思考はできない
これ豆な
>それに加えて、人の思考は 一階述語論理に縛られない
↑素人の妄想 その２
人の論理的思考は、一階述語論理＋「公理の集まり」という公理系で表せる
省13
71: 11/03(月)16:28 ID:u7vdmd1+(4/14) AAS
>>64
>>学習は記憶ではない
>>カラスの世田は必死に公式を記憶して大学入試を突破したのだろうが
>>そのやり方が間違っていたから大学数学が全く理解できずに落第した
>真逆だよ
>数学に王道なし を 真に受けて 廃人になりかけた
>わんこらさん(京大数学科)の実例がある
わんこらはそもそも論理を理解することの意味が分かってなかった
>杉浦先生を弁護しておくが、
>「解析入門1」を書店でチラ見したが、
省23
72: 11/03(月)16:29 ID:u7vdmd1+(5/14) AAS
>>64
>冒頭は さらっと流して、次の章に進むべし。そして また 前に戻る
>それで理解が出来ないならば、もっと やさしい 本を探すのが良いだろう
そのアドバイスは、実は肝心な点について何も述べていない
「さらっと流す」のでは問題点を何も解決していない
「行きつ戻りつ」しても肝心の文章の読み方ができてないと何も理解できない
要するにまずはじめて論理を理解する必要がある
これができてない人は数学書をいくら読んでも絶対に理解できない
論理を理解すれば「なんだそんなことか」で終わるのだが
論理を理解しない限りその境地に決して至らない
73: 11/03(月)16:36 ID:u7vdmd1+(6/14) AAS
2chｽﾚ:math
ワイルズによるフェルマー予想の証明は、ZFCGによるものかもしれんが
それだけでは、ZFCでは証明できない、とはいえない
ZFCで証明できない、というには
ZFCのモデルで、フェルマー予想が偽になるものが存在する
と示さなくてはならない
残念ながらこんな基本的な数理論理学の知識すら
大抵の数学者は持ち合わせていない
おそらく、自然数論のモデルは唯一無二だと
漫然と思い込んでいるのだろう
省3
74(1): 11/03(月)16:42 ID:u7vdmd1+(7/14) AAS
2chｽﾚ:math
IUTのダメなところは、今の数学にはない前提を用いているところ
（望月新一は論理が苦手なので、自分が今の数学から逸脱してることすら気づかないが）
今の数学にはない前提を用いてはいかん、とはいわないが
その場合、当然、整合性があることを何等かの形で示さなければ意味がない
一方で、望月予想（系3.12）から矛盾が導けることまでは、ショルツェも示せていない
だから「系3.12」の有用性については、今のところ否定されていない
望月が●違いな反応をしなければ、
あるいは、無理矢理PRIMSに論文を掲載しなければ
大した騒動にはならなかっただろう
省1
75: 11/03(月)16:45 ID:u7vdmd1+(8/14) AAS
2chｽﾚ:math
利口な人は受け売りしない
分からないことを分かったといっても意味ないから
馬鹿な人が受け売りしたがる
何もかも分からんのでとにかく分かったといっていい顔したがる
省1
76(1): 11/03(月)16:49 ID:u7vdmd1+(9/14) AAS
2chｽﾚ:math
＞フィールズメダリストでなんであれ 完全にアウトだよ！
＞”ストローマン”やってるから
望月新一のやってることは「燻製ニシンの虚偽」だけどな
ｘ∈ｘとか何言ってんの？
集合論モデルの間に一対一対応が可能とか
素人レベルの誤りを犯すヤツがなにほざいても無意味
77: 11/03(月)16:50 ID:nkvgQbyQ(2/7) AAS
>>68
>全然違うってわかる？
分かってないと思う。数学の初歩から分かってないワカランチンだから。
78: 11/03(月)16:52 ID:u7vdmd1+(10/14) AAS
2chｽﾚ:math
線形代数とか整数論の初歩とか分かってる人なら
「数論幾何入門」を読んでも意味あるが
どっちもロクに分かってない高卒の工員（笑）が読んでも
何が何やらチンプンカンプンだからやめとけ
79: 11/03(月)19:19 ID:u7vdmd1+(11/14) AAS
強制法でできること
公理系Aのモデルが存在するとして、
それに公理Bを追加した場合のモデルの存在が示せることがある
「公理系のモデルが存在しない」と「公理系が矛盾する」の同値性から、対偶をとれば
公理系Aに公理Bを追加した場合に矛盾が証明できるとして
その場合、公理系Aのみから矛盾が証明できることがいえる場合がある
そう考えると、強制法はそんなにミラクルなことをしてるわけではない（笑）
80(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/03(月)20:44 ID:RGcnI1b5(4/10) AAS
>>67
>> 2）池上大祐の答えは「現状では グロタンディーク宇宙は必要」
>> ということだった
>これはその人が言ったことですか？
いいから、池上大祐を読め
>>70
>前提なしに意味のある論理的思考はできない
>これ豆な
>人の論理的思考は、一階述語論理＋「公理の集まり」という公理系で表せる
>これ豆な
省14
上下前次1-新書関写板覧索設栞歴
あと 922 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s