[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
81(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/03(月)20:57 ID:RGcnI1b5(5/10) AAS
>>74
>望月が●違いな反応をしなければ、
>大した騒動にはならなかっただろう
>人格の異常が人生を破滅に導く典型例といっていい
そこは、半分同意だ
凡人ならば、人生破滅だろうが
そこが、プリンストン飛び級天才で凡人と違うところ
天才に凡人の処世術を説いてもね ；ｐ）
>>76
>望月新一のやってることは「燻製ニシンの虚偽」だけどな
省15
82: 11/03(月)20:58 ID:2XITUXgJ(2/4) AAS
石器時代にも
意味のある論理的思考ができていた人は
多かっただろう
83: 11/03(月)21:02 ID:u7vdmd1+(12/14) AAS
>>80
＞オイラーやガウスやリーマン、ポアンカレは意味のある論理的思考はできていなかった
カラスの世田がオイラーやガウスやリーマン、ポアンカレのやったことを
何ひとつ理解できてないだけのこと ま、公式暗記馬鹿の高卒だからな
＞「フックス関数を定義するのに用いた変換は非ユークリッド幾何学の変換とまったく同じである」
それ、まさに一階述語論理＋「公理の集まり」という公理系で表せるけど
カラスの世田が論理を知らないから理解できないだけ
おまえ、メビウス変換知らないだろ？ 高卒だもんな
外部ﾘﾝｸ:ja.wikipedia.org
84: 11/03(月)21:04 ID:2XITUXgJ(3/4) AAS
メビウス変換の論文は1855年に発表された
85: 11/03(月)21:09 ID:u7vdmd1+(13/14) AAS
>>81
>>望月が●違いな反応をしなければ、
>>大した騒動にはならなかっただろう
>>人格の異常が人生を破滅に導く典型例といっていい
>そこは、半分同意だ
同意できない半分は
「日本人が何も仕事できてなかった」
という点か？
もう貴様は国籍とかくだらないこと全部忘れろ
人類は数万年前まで遡ればみんなアフリカ出身だぞ（笑）
省11
86: 11/03(月)21:11 ID:nkvgQbyQ(3/7) AAS
>>80
>いいから、池上大祐を読め
自分で読んでないのめくれてて草
上下前次1-新書関写板覧索設栞歴
あと 916 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s