Inter-universal geometry と ABC予想 (応援スレ) 71 (704ﾚｽ)
上下前次1-新
46: 04/22(月)17:36 ID:jXSngsHK(2/3) AAS
Roberts は10年以上ポスドクだ。
47: 04/22(月)17:50 ID:4mMvIEKC(1/4) AAS
>>45
あなた>>11だよね
じゃあ何で叩くんだ？すぐに職にありつける分野に嫉妬とかなら分かるが、逆だし
48(1): 04/22(月)17:53 ID:jXSngsHK(3/3) AAS
基礎論屋と圏論屋は必死過ぎる。
49: 04/22(月)17:56 ID:7c4sPJ42(1) AAS
>>44
相変わらず馬鹿だなぁ
まったく書いてある意味わかってないやろ
50: 04/22(月)18:16 ID:4mMvIEKC(2/4) AAS
>>48
方方で同じ煽りレスしてる人がそれ言っちゃう？
51: 04/22(月)21:17 ID:vJwBSgjj(1/2) AAS
国内でアカポスが見つからなくてポスドク20年とか馬鹿だろう。海外に行けばいいじゃないか。フィリピンでもパプアニューギニアでも。
グロたんだってブラジルに行った。
52: 04/22(月)21:31 ID:4mMvIEKC(3/4) AAS
別にどんな分野でも海外へ行くか国内に残るか個人の判断でしょ？
David Robertsはオーストラリアにいたかった、それだけ
知りたいのはそんなことじゃなくて、なぜ君が圏論などだけを敵視するのか、その源流だよ
53: 04/22(月)21:47 ID:vJwBSgjj(2/2) AAS
" David Robertsはオーストラリアにいたかった、それだけ "
それは事実に反するよ。
オックスフォードのなんとか研究所に入れるなら入りたい、という趣旨の発言があった。
54: 04/22(月)21:56 ID:4mMvIEKC(4/4) AAS
なるほど、語弊があったね
イギリスやアメリカの名門大には行きたいかもしれない、でもパプアニューギニアの大学でポストを得るよりはオーストラリアがいい
そんなにおかしな話ではない、そういう人もいるだろう
これ圏論とかなんの関係もないし、何で圏論をそんなに煙たがるのか、君自身の話を知りたいんだが
55(2): 04/23(火)00:42 ID:nfeXM0n/(1/9) AAS
“標準の数学”について理解するにはそれがひとまずの完成にいたる経緯は少し理解していないといけない。
ヒルベルトあたりから議論がはじまった。
ヒルベルトの最初の目論見としては
?どんな言語をつかうのか
?どんな公理をつかうのか
?どんな推論則をつかうのか
決めてしまってそれを合意共有する。そこから演繹された命題を“真”、否定が演繹された命題を“偽”とさだめよう。
言語や推論測はあまり議論の余地はなかろう、公理としてなるべくみんなが納得できる、しかし“真”でも“偽”ない命題が発生したりすることの内容十分強力な公理系を用意することは可能であろう。
しかし今日ではよく知られた通りこの目論見は失敗におわる。ゲーデルの不完全性定理
公理系が機能的に枚挙可能で体系が自然数論のモデルを含むならその公理系は不完全である、すなわち P も not P も証明できない命題を必ず含む。
省1
56(1): 04/23(火)00:43 ID:nfeXM0n/(2/9) AAS
結論は
?しょうがないので“証明可能”と“真”は区別し同一視しない
?排中律はこれまでどおり、そしてこれからも成立すると考えすべての命題には“真”か“偽”の値が割り当てられていると考える、ただしそれがどのように割り当てられているかは問わない（そもそも帰納的にわりあてることはできない）
?公理系は帰納的なものに限る
とした。この妥協案は広く支持されているとしていいと思う。もしかしたら不満もあるかもしれないがじゃあ代替案があるのかといわれたら見つからないだろうししょうがない。
ざっくりとしたアイデアとしては上の通り、数理論理学的には数学理論の体系は
?公理系 A と標準モデル M のペアである
?公理系 A から定められた推論測で演繹されるものが定理である
?モデル M で真と判定される命題が真である。
とするということ。じゃあ公理系はどうするか、普通はよほどのなにか特殊な要求がないかぎり ZFC とか BG とかその辺のものを選んでつかう、普通の数学展開するならそれで充分のはず、以上が“標準の数学”といわれるもので間違いないと思う
57(2): 04/23(火)00:43 ID:nfeXM0n/(3/9) AAS
この前提で Inter Universal という理論を観察していく。まず最初に考えないといけないのはこの “Universe” いう概念のあつかい、これがそもそもいわゆる“支持者”の間でもいってることがちがう。
加藤先生の論によれば
Universe はいわゆる Grothendick の Universe ではなく基礎論のモデルに近いもの、これがとりかわることにより一つの命題が“真”だったり“偽”だったりすることが切り替わる
とのこと、もともと Robert 先生が同じ命題があるときは“真”、またあるときは“偽”になるのはおかしい、そんなの認められてないだろに対する反論のよう(ソースはだれかがもってきたコピペ)
この立場にたつなら確かに Robert 先生の指摘にたいする答えにはなってはいるが、だとすると IUT は標準の数学のルールに反してすべての命題にあらかじめ“真偽値”が定められているという考えはとることができなくなる、当然これまで当たり前につかってた“推論則”は使えなくなるから新たにそっからやり直さないといけなくなる、もちろんやり直してもいいしできっこないなどとはいわないが現時点で“完成していない”のは確実となる、現時点で提出されてる論文でそのような現代数学を一から見直すような議論などどこにもない。
58(3): 04/23(火)00:44 ID:nfeXM0n/(4/9) AAS
一方望月先生の論では
iut の言語体系、推論体系は標準の数学のそれと全くかわらない。これまで数学基礎論で議論、研究されてきた成果はそのまま適用ができ、新たに議論すべきところなどどこにもない（従って iut 論文でもそんな議論はしていない?）universe は Grothendick の universe、ただしそれが“入れ子の構造”をもつように集合論の“正則性公理”はあきらめる
らしい。しかしそれだとわからなくなるのはそもそも今の iut 論文はひとつも“標準の数学”の“自然言語への標準的な翻訳、解釈に則っていない”ということ。
さきに“標準の数学”として今日一般に支持されているものについて紹介をしたけどこれについてはほとんど議論する余地はない、そしてその標準の数学を論文等に掲載するための自然言語への変換も標準的ないわゆるディファクトスタンダードが定まっていてその方法に従っていれば数学の教育をある程度受けたものなら相互に変換することができる
しかるに iut はその“理解者”を自認しているような人たちからも異論が出てくるほど望月先生以外の人間に伝わっていない、師匠筋のファルティングス先生、天才ショルツ先生、多くの人が“標準的な数学としての解釈”を試みるも誰一人として成功していない。
もちろん“数学基礎論が規定する標準の数学”を“自然言語”へ変換する場合の規則には曖昧な部分もあり、場合によっては読み手がある程度“補完”することを要求されることはあるし、そのことで専門家以外には敷居が高い論文もあるのも事実であるが、これだけ高名な数学者たちがそろいもそろって“わからない”と言わせしめるようではとても“書き手の自由裁量”と評価できる範囲内に収まってる文章だとはいえない。
結論としてやはり現段階で inter universal という概念が望月論文によって数学の世界に何か問題を提起したと考えるのすら難しい。もうこの混乱を正常化するには iut 論文撤回するしかないと思う。まぁ混乱してるのは ＲIMS 周辺限定なのでみんなほっといてるんだけど。
59(1): 04/23(火)06:49 ID:hJsMQbos(1/3) AAS
>>55
>この定理があるかぎりヒルベルトの目論見は失敗する、もちろんいわゆる“排中律”をあきらめて“真”でも“偽”でもない命題を認めればよいが、これまでの数学ではずっと排中律は使ってきたしこれからも使いたい、どうするか。
排中律の扱いについて
１）直観主義論理が、ハイティング代数 ラムダ計算 カリー＝ハワード対応などで復権（計算機のプログラムは有限の世界）
２）圏論では、排中律は成り立つとは限らない
３）量子論理でも、排中律は成り立つとは限らない
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
排中律
外部ﾘﾝｸ:en.wikipedia.org
省15
60(1): 04/23(火)07:18 ID:hJsMQbos(2/3) AAS
>>57
>この立場にたつなら確かに Robert 先生の指摘にたいする答えにはなってはいるが、だとすると IUT は標準の数学のルールに反してすべての命題にあらかじめ“真偽値”が定められているという考えはとることができなくなる、当然これまで当たり前につかってた“推論則”は使えなくなるから新たにそっからやり直さないといけなくなる、もちろんやり直してもいいしできっこないなどとはいわないが現時点で“完成していない”のは確実となる、現時点で提出されてる論文でそのような現代数学を一から見直すような議論などどこにもない。
圏論では、必ずしも排中律は成り立つとは限らない
望月IUTは、圏論を使うという（本当かどうかは知らないが）
よって、排中律の観点からの批判は、筋違いでは？
61: 04/23(火)08:00 ID:nfeXM0n/(5/9) AAS
もちろん全ての数学が“標準の数学”である必要はないかもしれないが排中律もつかわない“非標準の数学”で議論するなら論文の最初の一行目で書かないといけないし、じゃあどんな推論つかうのかから始めないといけない。
そんな注意は一言もない
62: 04/23(火)08:00 ID:NWsSQnB9(1/2) AAS
>>43
2024/04/22(月) 17:00:45.50 ID:8CFW5jXQ
>半可通がシッタカしているねｗ
自虐？
>(参考)
自分が全く読まずにコピペしてる文章を「参考」と書くのは詐欺
>>44
>二階述語論理のNon-reducibility to first-order logic（一階論理への非還元性）
>があるって知らない人がいるらしい。
>そういう人が、訳分からずにハナタカしているんだねｗ
省29
63(1): 04/23(火)08:02 ID:NWsSQnB9(2/2) AAS
【結論】
二階論理のstandard semanticsは、人には実現不可能だから無意味
一方Henkin semanticsで良い、と諦めるなら、一階論理上の公理系で実現できる
その場合「一階論理は無意味」という君の主張は完全に崩壊する
Non-reducibility to first-order logic で死ぬのは
私ら健全な一般人ではなく君(ID:8CFW5jXQ)ら完全を求める★違いな連中
64(1): non 04/23(火)08:10 ID:IkIISSSw(1) AAS
>>55
>(決められた言語・公理・推論則から)
>演繹された命題を“真”、否定が演繹された命題を“偽”とさだめよう。
>しかし“真”でも“偽”ない命題が発生したりすることのないよう
>十分強力な公理系を用意することは可能であろう。
>しかし今日ではよく知られた通りこの目論見は失敗におわる。
>ゲーデルの不完全性定理
>公理系が機能的に枚挙可能で体系が自然数論のモデルを含むなら
>その公理系は不完全である、すなわち P も not P も証明できない命題を必ず含む。
確かに「完全主義者の夢」は実現不可能である
省7
65(1): 04/23(火)08:13 ID:nfeXM0n/(6/9) AAS
>>64
おまえいくらなんでもひどすぎる
もうこんなレベルのレスしかできないなら出てけよ
上下前次1-新書関写板覧索設栞歴
あと 639 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.014s