- 1 名前：１３２人目の素数さん [2021/12/28(火) 23:28:06.67 ID:IQKnQwAx.net]
- （前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 62
https://rio2016.5ch.net/test/read.cgi/math/1638933969/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
https://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13
（参考）
https://twitter.com/math_jin
math_jin 出版序文リンク Andrew Putman 2021年3月6日
https://drive.google.com/file/d/1n1XMCNyQxswQGrxPIZnCCMx6wJka0ybh/view
望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。
査読が終り出版されました。また、“Explicit”版が公開され、査読は完了したようです。
IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加したようです。
IUTが正しいことは、99％確定です。
このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！（＾＾；）
つづく
(deleted an unsolicited ad)
- 928 名前：7%E5%A6%84%E6%83%B3
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
誇大妄想（こだいもうそう、Grandiose delusions, GD）とは
妄想の一種であり、様々な精神障害患者に生じ、
躁状態にある双極性障害の2/3、統合失調症の1/2、
妄想性障害の1/2、薬物乱用者の多く
に確認されている。
誇大妄想は、己が有名で、全能で、裕福で、何かの力に満ちている
という幻想的な信念を特徴としている。
その妄想は一般的に幻想的であり、典型的には
宗教的、SF、超自然的なテーマを持っている。
迫害妄想や幻聴幻覚とは対照的に、
誇大妄想に関する研究は比較的不足している。
健康な人の約10％が誇大的な考えを経験しているが、
誇大妄想の診断基準を完全には満たしていない。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー [] - [ここ壊れてます]
- 929 名前：Antigod mailto:sage [2022/01/08(土) 12:39:42.72 .net]
- >>871
＞無限についても、人は古代ギリシャの時代から、認識していたよ
しかしそれは実無限ではないが
＞例えば、有名なのがユークリッドの「素数が無限にある」ことの証明とか
＞（当然、自然数も無限）
誤 無限にある
正 有限個ではない
有限個ではない→無限個ある ということにはならない
＞無限公理は、一階述語で数学を公理化するときに必要であって、
一階述語という言葉はありません
一階述語論理という言葉はありますが
正しくは
「無限公理は、（一階述語論理上の公理系である）集合論において
無限集合の存在を必要とする場合に設定する公理」
＞話の順序が逆で、人は無限を知っていて、
＞無限を含む数学の公理化が欲しいから、
＞その必要があって無限公理を作ったのです
全然逆じゃないですがね
有限個でない要素の集まりを考えたいから
無限公理を設定した、という事ですから
順番通りですね
- 930 名前：Antigod mailto:sage [2022/01/08(土) 12:48:15.81 .net]
- >>872
＞圏論は数学をするための「高級言語」
高級言語の処理系は最終的には機械語のプログラムとして記述されるのであって
機械語で記述できないような高級言語の処理系はありません
つまり正しいのは私であって中卒素人SET A君ではないということです
まあ、東京のとある有名高校をまがりなりにも卒業した私が
ナニワの中卒ヤンキー相手になに本気出してんだと
皆さん思ってらっしゃると思いますが・・・
- 931 名前：１３２人目の素数さん mailto:sage [2022/01/08(土) 12:52:17.14 ID:ULDwSqxe.net]
- >>875 補足の補足
上記Fesenko先生の”On asymptotic equivalence of classes of elliptic curves over Q”
（Q上の楕円曲線のクラスの漸近的等価性）
は、下記のフーリエ変換のアナロジーかな
ABCに出てくる楕円曲線を、IUTで扱い易い漸近的等価の圏論的代用物に変換する
変換した空間で、楕円曲線の高さを評価する
それを元の楕円曲線の空間に戻すときに、不定性を考えると
誤差を追加した不等式で評価する必要があるってことか
で、今のIUTでは圏論を使った理論だけれど、よく見ると集合論の中の議論に翻訳できるぞ
ということじゃないかな？ ZFCG内ってのは、そういうことでしょ？
何年か経てば、IUT圏論には”米田埋め込み”（下記）があって、実は集合論内の議論でしたって
落ちになりそうな気がする
そういう意味では、「宇宙」ではなく、”IU変換「空間」”（形容矛盾だが）の方が、用語として適切かも
なんて、思っています（妄想ですけど）
(参考)
https://ja.wikipedia.org/wiki/%E3%83%95%E3%83%BC%E3%83%AA%E3%82%A8%E5%A4%89%E6%8F%9B
フーリエ変換
https://ja.wikipedia.org/wiki/%E3%83%95%E3%83%BC%E3%83%AA%E3%82%A8%E5%A4%89%E6%8F%9B%E3%81%AE%E5%BF%9C%E7%94%A8
フーリエ変換の応用
微分方程式の解析
https://m-はてなブログcom/entry/20070827/1188172849
檜山正幸のキマイラ飼育記 (はてなBlog)
2007-08-27 圏論番外：米田埋め込み (前編)
内容：
The Yonedaへのスローなアプローチ
部分圏と充満部分圏
忠実関手と充満関手
忠実関手の例
埋め込み関手と部分圏
関手圏
米田関手を探そう
(引用終り)
以上
- 932 名前：Antigod mailto:sage [2022/01/08(土) 12:52:24.55 .net]
- >>875
>”On asymptotic equivalence of classes of elliptic curves over Q”
もしかして、SET A君って、例えば
・コホモロジー類は「集合ではない固有クラス」だと思ってる？
・特性類も「集合ではない固有クラス」だと思ってる？
特性類
https://ja.wikipedia.org/wiki/%E7%89%B9%E6%80%A7%E9%A1%9E
|
 |
