[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2ch.scのread.cgiへ]
Update time : 04/11 23:29 / Filesize : 546 KB / Number-of Response : 1091
[このスレッドの書き込みを削除する]
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

Inter-universal geometry と ABC予想 (応援スレ) 71



1 名前:132人目の素数さん [2024/04/19(金) 23:25:29.46 ID:CjPwwBkL.net]
(前“応援”スレが、1000又は1000近くになったので、新スレ立てる)
前スレ:Inter-universal geometry と ABC予想 (応援スレ) 70
https://rio2016.5ch.net/test/read.cgi/math/1701399491/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
https://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13
<IUT最新文書>
https://www.kurims.kyoto-u.ac.jp/~motizuki/news-japanese.html
2024年03月24日 望月新一
 ・(過去と現在の研究)2024年4月に開催予定のIUGCの研究集会での講演の
  スライドを公開。https://www.kurims.kyoto-u.ac.jp/~motizuki/IUT%20as%20an%20Anabelian%20Gateway%20(IUGC2024%20version).pdf
P8
In this context, it is important to remember that, just like SGA,
IUT is formulated entirely in the framework of
“ZFCG”
(i.e., ZFC + Grothendieck’s axiom on the existence of universes),
especially when considering various set-theoretic/foundational
subtleties (?) of “gluing” operations in IUT (cf. [EssLgc],
§1.5,§3.8,§3.9, as well as [EssLgc],§3.10, especially the discussion of “log-shift adjustment” in (Stp 7)):
(引用終り)

<新展開>
https://www.sankei.com/article/20240402-WNUUSYIAO5PRVNCBQSEEUETGMU/
産経 2024/4/2
宇宙際タイヒミューラー理論を提唱、望月新一氏らに賞金10万ドル 京都大に寄付の意向
同理論の発展に重要な貢献を果たした論文の執筆者に贈られる「IUTinnovator賞」の最初の受賞者として望月氏ら5人が選ばれ、賞金10万ドル(約1500万円)の贈呈が発表された

https://www.youtube.com/watch?v=Xy4i0rqy4eE
IUT理論(宇宙際タイヒミューラー理論)に関する会見 生中継【ZEN大学】
2023/07/07 にライブ配信
宇宙際幾何学センター(Inter-Universal Geometry Center; IUGC, 所長 加藤文元)について

https://www3.nhk.or.jp/news/html/20230707/k10014121791000.html
NHK 数学「ABC予想」新たな証明理論の研究発展させる論文に賞創設 20230707
数学の難問「ABC予想」を証明したとする日本の数学者の新たな理論をめぐって、研究を発展させる論文を対象に、100万ドルの賞金を贈呈する賞が国内のIT企業の創業者によって創設されることになりました。
▽新たな発展を含む論文を毎年選び、最大で賞金10万ドル
▽理論の本質的な欠陥を示す論文を発表した最初の執筆者に対しては100万ドルを、
それぞれ贈呈するとしています。

https://ahgt.math.cnrs.fr/activities/
Anabelian Geometry and Representations of Fundamental Groups. Oberwolfach workshop MFO-RIMS Sep. 29-Oct. 4, 2024
Org.: A. Cadoret, F. Pop, J. Stix, A.. Topaz
(J. Stixさん、IUT支持側へ)

このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
(なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです!
つづく

86 名前:132人目の素数さん [2024/04/23(火) 13:08:23.29 ID:DgYuW2lD.net]
>>63
>【結論】
>二階論理のstandard semanticsは、人には実現不可能だから無意味
>一方Henkin semanticsで良い、と諦めるなら、一階論理上の公理系で実現できる

1)”二階論理のstandard semanticsは、人には実現不可能”?
 意味わからん
 そもそも、人は日常では一階論理で思考していないでしょ?
 また、日常の数学者は一階論理で思考していない
2)例えば、日常において「日米関係」を議論したとしよう
 日本と米国の定義は?
 定義らしきものはあっても、厳密な定義など存在しない! それらの厳密な定義は不可能だよ
 一階論理に乗らないでしょ
 別に、例えば数学科の人事で、あるポストにA君とB君のどちらを採用するか?
 A君とB君の同定はできても、生身の人の定義はできない
 採用するかしないかは、将来のポテンシャルも加味するべきだろう
 そうなると、ますます一階論理には乗らない
3)話は変わるが、フランス人は哲学的議論がお好きだそうな(下記)
 哲学的議論は、一階論理に乗らないよね。もちろん、議論は論理的なのだが

 なので
 みんな、一階論理では満足していないと思うよ
 そういう意味で、二階論理やそれに関連する圏論の研究はこれからもありでしょ
 それで飯食えるかは、知らないけど

(参考)
https://www.frenchbloom.net/books/4617/
意外と知らないフランス人の当たり前7つ
text by cyberbloom / category : 本・文学 posted date: 2016/Dec/14 /
1.フランス人は議論が好き
フランスの大学入学資格試験バカロレアは、哲学の試験で幕を開けます。哲学の試験を創設したのはナポレオンで、哲学を深く学ぶことで人は自由に思考できると考えました。この自由な思考こそが、市民社会の基盤となるのだ、と。

試験は朝8時から4時間かけて行われます。2016年の課題は「我々の道徳的信念は経験に立脚しているのか?」「欲望は本質的に限りがないのか?」などでした。この徹底的な思考訓練が、フランス人の議論好きや哲学カフェの隆盛の下地となっていると言えるでしょう。

87 名前:132人目の素数さん [2024/04/23(火) 14:16:05.94 ID:gpbFruYF.net]
>>81
>意味わからん
君ってすぐ意味がわからなくなるんだね

standard semanticsに関する健全かつ完全な実効的推論手続きはない、って君、コピペしたでしょ
それって人間には実行不可能って意味でしょ 意味分からんほうがおかしいわ

> みんな、一階論理では満足していないと思うよ
> そういう意味で、二階論理やそれに関連する圏論の研究はこれからもありでしょ
> それで飯食えるかは、知らないけど

圏論が二階論理のstandard modelに基づいてる、なんて珍説初めて聞いたよ






[ 続きを読む ] / [ 携帯版 ]

次100 最新50 [ このスレをブックマーク! 携帯に送る ] 2chのread.cgiへ
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧](;´Д`)<546KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef