[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
900: 2022/05/03(火)21:08 ID:tW03F0xO(11/13) AAS
>>898
>「ＮＨＫは国民の血税でまかなわれている」
まあ、半分冗談で半分本気です
例えば、国民健康保険がある
国民健康保険料＝税なんですよ（下記）
NHK受信料は？
法律によって、半税金化されています（下記の通りです）
外部ﾘﾝｸ[html]:www.mhlw.go.jp
厚生労働省
各法令の規定に基づき、具体的な国民健康保険料（税）の算定方法や徴収期限・方法などについて、各市町村の条例（国民健康保険組合の場合は規約）などで定められています。国民健康保険料（税）は、世帯単位で算定し、世帯の被保険者ごとに応益分・応能分の各種類を計算し、それらを合計したものとなります。
省5
901(1): 2022/05/03(火)22:31 ID:tW03F0xO(12/13) AAS
>>897
>ファルティングスの論文は読みにくいものなのか？
本当にそうかは知らない
下記は別の例だが
"[V1] はとても読みにくい論文である"
”まだまだ発展途上であったし、現在では考えられないよ
うな間違いも含まれていた”
ってありそうですよね
良いんじゃね？ 間違いや、読みにくさ、そういうのも、数学者のメシのタネだろう
(参考)
省20
902: 2022/05/03(火)22:32 ID:tW03F0xO(13/13) AAS
>>901
つづき
私の対数的小平次元に関する飯高予想の論文
[F5] は、中山の数値的小平次元に関する Lehmann の論文に穴が見つかっ
たことにより、証明に穴が空いた。この Lehmann の論文の穴は影響力大
で、極小モデル理論の基本的な結果の証明にも一瞬穴が空いてしまった
ほどである。その穴は未だ塞がれていないが、応用に必要な程度の少し弱
い不等式を証明するという方向で一応の解決を得ている ([F9] 参照)。ま
た、f?ω○xmX/Y のネフ性に関する論文は思いのほかさっさと掲載が決まった
のであるが、出版されるなり証明に穴を見つけてしまうという大失態を
省6
903(1): 2022/05/03(火)23:35 ID:ozawVvfN(3/3) AAS
一応味方のはずのデュピュイだけでなく
制作協力の星さんや文元の顔にまで泥ぬってるもんなあ
IUTの内容の晦渋さもさることながら、本人の性格の異常な面倒くささも
理論普及の大きな足かせになってると思うぞｗ
904(1): 2022/05/04(水)00:37 ID:hCJqhNoE(1) AAS
IUTはやっぱだめだったんだろうなと俺は思ってるけど、あのブログでのNHK批判周りは
割とまともだと思ったがな。
905(1): 2022/05/04(水)02:50 ID:VC0XffWw(1/2) AAS
相対性理論を英語圏に紹介して広めたアーサー・エディントンのような存在が必要かも
一人の人間が発信するだけでは駄目で複数の人がそれぞれの言葉で語り直すことによって
理論は広まっていく
906: 2022/05/04(水)07:21 ID:GBk2MoT6(1/4) AAS
レスありがとうございます。
>>905
>相対性理論を英語圏に紹介して広めたアーサー・エディントンのような存在が必要かも
同意です。東工大に期待したい。東工大で、「IUT入門」みたいな講義で1年ものをやったらどうか？ 星先生にも協力を願って
>>904
>あのブログでのNHK批判周りは
>割とまともだと思ったがな。
NHKが、数学的に”まとはずれ”な部分がある にはその通りと思うけど
NHKは、天才スーパーサイヤ人ではないし、視聴者の多くも天才スーパーサイヤ人ではないからね
例えば、望月ブログ 外部ﾘﾝｸ:plaza.rakuten.co.jp
省13
907(2): 2022/05/04(水)11:21 ID:VC0XffWw(2/2) AAS
相対性理論を英語圏に紹介して広めたアーサー・エディントンのような存在が必要かも
一人の人間が発信するだけでは駄目で複数の人がそれぞれの言葉で語り直すことによって
理論は広まっていく
908(1): 2022/05/04(水)15:28 ID:GBk2MoT6(2/4) AAS
>>907
>一人の人間が発信するだけでは駄目で複数の人がそれぞれの言葉で語り直すことによって
>理論は広まっていく
完全同意
望月おじさん、きっと天才すぎ
彼は、数学で「難しくて理解できない」ということが殆ど無かったのかもしれない
望月ブログ 外部ﾘﾝｸ:plaza.rakuten.co.jp より
ファルティングス氏の場合
”大まかな方針・アイデアを聞いただけで理論の正否の判断が付くことがあるとしても、多くの場合、つまり読む側の研究者が偶々慣れ親しんでいる範囲から外れている数学的手法を用いる論文ですと、論文を丁寧に読んでなおかつ場合によっては相当の時間をその内容の消化・理解に費やさないと、論文の内容を理解することはできません。これは数学全般に通じる常識と言い切ってよいと思います。”
って、違う気がする
省11
909: 2022/05/04(水)15:58 ID:GBk2MoT6(3/4) AAS
ワイルズによるフェルマーの最終定理の証明
下記で、3通りの証明の解説が出ている
（3次元）ポアンカレ予想についても、いろいろ解説が出ている
IUTにも、それがあっても良い時期じゃね？
外部ﾘﾝｸ:ja.wikipedia.org
ワイルズによるフェルマーの最終定理の証明
3 証明の発表とその後の発展
3.1 証明の発表と最終的な証明 (1993?1995)
3.2 その後の発展
6.1 ワイルズの証明の解説
省14
910: 2022/05/04(水)20:17 ID:GBk2MoT6(4/4) AAS
>>908
たまたま、書棚の下記 [フィールズ賞業績紹介] ヴェンカテシュがあって、手に取って見たところ
P46
”抽象的な定理を与えた後に簡単に具体例を紹介し、読者が置いてけぼりにならないよう細やかに配慮していることが挙げられる。
ひとつひとつの説明が丁寧なのである。数学の論文は得てして「分かる人にだけ伝わればよい」というスタンスになりがちである。
これは一般の数学者が傲慢な性格だと言っているわけではなく、現実問題としてページ数の多い論文は雑誌にも読者にも敬遠されがちなので、
ある程度細かい説明を削らざるを得ないのである。
これに対しヴェンカテシュの論文にはそういった印象がほとんどなく、1人でも多くの研究者に自分の研究を理解してもらいたいという気持ちがよく伝わってくる”
とあった
普通の数学者は、上記に加えて、「論文をギャップなく書く」のに必死で、細かい気配りの余裕がないのでしょう
省11
911(2): [sag] 2022/05/05(木)00:32 ID:IiIFq43w(1) AAS
宇宙を持ち出したために、理論そのものが
数学ではなくなってしまってる可能性あり
912(3): 2022/05/05(木)01:43 ID:UyqL+mAv(1/2) AAS
数学ではなくなるとかいう意味不明なことを言われても
913(1): 2022/05/05(木)07:07 ID:taeoXn8G(1) AAS
>>911
宇宙（数学）という用語自体は、従来より数理論理学の用語だが？
外部ﾘﾝｸ:ja.wikipedia.org
数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。
数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。
914(1): 2022/05/05(木)09:14 ID:9NutQO/r(1/4) AAS
>>911-913
>数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。
同意です
グロタンディーク宇宙は、下記を要約すれば、
「誤って真のクラスに対して言及する心配を無くすために
宇宙の公理を仮定し（強到達不能基数の存在も仮定する）、グロタンディーク宇宙を用いる」
ってことですね
グロタンディーク宇宙を、一つ作っておけば、
この中で”グロタンディーク宇宙は非常に広大であり、これはありとあらゆる数学的構造を充足させる”
となって、”誤って真のクラスに対して言及する心配”が無いのです
省5
915: 2022/05/05(木)09:14 ID:9NutQO/r(2/4) AAS
>>914
つづき
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
宇宙 (数学)
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。例えば、グロタンディーク宇宙 U における2つの集合の和集合も U の内部にある。同様に、共通部分、順序対、冪集合などもまた U の内部にある。これは上記の上部構造に類似している。グロタンディーク宇宙の利点は、それが実際の集合であって真のクラスではないことである。
誤って真のクラスに対して言及する心配もなくなる。
なぜならグロタンディーク宇宙は非常に広大であり、これはありとあらゆる数学的構造を充足させるからだ。
グロタンディーク宇宙において作業している場合、数学者はしばしば宇宙の公理を仮定する。"任意の集合 x に対し、x ∈U となるような宇宙 U が存在する。" この公理の重要な点は、任意の集合がいくつかの U に対して U-small が検討できることである。つまり一般的なグロタンディーク宇宙に内部で、任意の独立変数が適用されるということである。この公理は強到達不能基数の存在と密接に関係している。
省2
916(1): 2022/05/05(木)09:38 ID:8nBR0rJh(1) AAS
宇宙は宇宙、数学は数学
ショルツェが言ってるのは
結局そういうことでは？
917: 2022/05/05(木)10:59 ID:9NutQO/r(3/4) AAS
ショルツェ氏は、宇宙という用語は使っていない
しっかり無視して、混乱させられていない
その上で、ｊ→ｊ^2 という 対応というか変換というか
そこを突っ込んで、「変だよ！」と言っています（下記ＳＳ文書）
対して望月氏は、”「変だよ！」は、誤読だ”と言っています（かれのブログより）
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
Why abc is still a conjecture
PETER SCHOLZE AND JAKOB STIX
Date: August 23, 2018.
P8
省3
918(1): 2022/05/05(木)11:45 ID:UyqL+mAv(2/2) AAS
IUTがこれまでの数学の公理とぶつかるっていうのは過大評価じゃないの？
宇宙って言っても例えだし
919: 2022/05/05(木)11:47 ID:dwPt7dms(1) AAS
応援団の加藤先生がそう言ってるんだからそうなんやろ
上下前次1-新書関写板覧索設栞歴
あと 83 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.026s