[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
23(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/01(土)12:56:25.39 ID:i+EantH6(2/13) AAS
つづき
外部ﾘﾝｸ[pdf]:zen.ac.jp
zen.ac.jp
The First IUGC Conference
Dates: April 2– April 5, 2024
April 3 (Wednesday)11:00– 11:30
James Douglas Boyd (University of Western Ontario)
Philosophical Perspectives on Inter-Universal Teichm¨uller Theory
Abstract:
Since the inception of Inter-Universal Teichm¨uller Theory (IUTT), much activity among the international mathematics community has been dedicated to gaining an understanding of IUTT and scrutinizing its proof of the Szpiro/abc/Vojta conjectures. Considerably less effort has been dedicated to developing a discourse on the theoretical contributions of IUTT itself and the new directions in which it takes Diophantine geometry. Thanks to the distribution of further expository work on IUTT in recent years, doing so is increasingly feasible. In what follows, we will consider implications of IUTT for the philosophy of mathematics.
省2
107(1): 11/04(火)04:58:17.39 ID:edKQSXTM(4/5) AAS
>>93
＞おまえ数学語ってたの？ おまえに語れる数学ってなに？
>>94
＞君には大学一年の数学力が無いことは、みなさん、まるっと お見通しだ！
ID:nkvgQbyQ は名誉教授ではなかったようだ スマン
とすると「一般人に失礼」の意味が違ってくるな 要するに
「一般人も大学レベルの数学は分かってないが
別にそんなことが恥ずかしいともおもわず
知らん事を知ってるとウソついてコピペしたりする
恥ずかしいマネをしでかしたりしない」
省9
354: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)11:53:56.39 ID:9MLt2+C6(8/17) AAS
>>349
>逆に、否定をとる写像で、真偽値の不動点が存在するような論理なら矛盾しない
>そういうことは例えばDana Scottのdomain theoryを知ってれば、常識
おお、ありがとね
”Dana Scott domain theory”で下記がでる
「否定をとる写像で、真偽値の不動点が存在するような論理なら矛盾しない」までは、到達しなかったが・・
まあ、デイナ・スコット Domain theory があるのを 知った （＾＾
外部ﾘﾝｸ:ja.wikipedia.org
領域理論 （りょういきりろん、英: domain theory）は、領域 (domain) と呼ばれる特別な種類の半順序集合を研究する数学の分野であり、順序理論の一分野である。 計算機科学の表示的意味論（英: denotational semantics）を構築するために用いられる。 領域理論は、近似と収束という直観的概念を極めて一般的な枠組で形式化し、位相空間と密接な関係をもつ。
領域理論の意図と直観的意味
省10
707: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/09(日)22:14:15.39 ID:QrKJGO9s(22/26) AAS
>>681
(引用開始)
現実を見た方がいいでしょう
>redditが、数学界を代表しているとでも？
ここよりは真摯で
多くの数学者の意見にあっていますね
(引用終り)
意味わからん
”redditが ここよりは真摯で
多くの数学者の意見にあっていますね”
省7
716: 11/09(日)22:46:55.39 ID:CA6TFgJW(62/64) AAS
＞日本資本主義終焉後のポストアポカリプス
資本主義で得するのは富裕層だけ
君、どうみても只の社奴だよな（笑）
748: 11/11(火)05:23:25.39 ID:ewbNriaY(1/7) AAS
ポイント=要点
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s