Inter-universal geometry と ABC予想 (応援スレ) 44at MATHInter-universal geometry と ABC予想 (応援スレ) 44 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト550:ｹ解を得たか あるいは いずれ了解が出るべきもの （なお、Fierce Inertia says: April 24, 2020 at 10:48 am の批判は明らかに的外れ。1982年の論文と同じと批判するが、 Kirti Joshi氏の論文は、遠アーベルの論文で、遠アーベルが出たのは1982年以降のことだからねｗ（＾＾； ） ２．Dupuy先生についても同じ。ショルツ先生は、「あとはメールでやろう」と言っていた だから、Dupuy先生の新論文（>>420 ＆ >>422）についても、ショルツ先生とメールで議論している可能性がある（多分、間違いなく） ここらは、もう少し時間が経てば分かるでしょうね（＾＾ こうご期待（＾＾； 551:現代数学の系譜 雑談 ◆e.a0E5TtKE 20/04/27 10:30:06 yKFtCO8V.net 下記みたいなのが、エグゼクティブサマリーだよ パワポとかでしょ、これ、過去のガロアスレで取り上げた記憶があるな なお、書き手は数学者ではなく、コンピュータソフトの会社の人で、会社の勉強会のネタらしい よく書けていると思う （ちょっと間違いみたいなのを見つけたが、あとで（＾＾； ） Inter-universal geometry と ABC予想 否定派 https://rio2016.5ch.net/test/read.cgi/math/1587361264/465 465 名前：論理狼 ◆y7fKJ8VsjM [] 投稿日：2020/04/25(土) 16:14:49.97 ID:ReTz6AXc [22/59] 蛇足 http://www.ivis.co.jp/text/20190619.pdf ｐ７７ 参考：圏論の集合論的基礎を探して • 圏論では集合の圏 Sets，群の圏 Grps，圏の圏 Cats など 様々な大きさの集まりを圏として扱う • VGB や Kelley-Morse set theoryでは Sets, Grps は扱うことができるが， クラスがクラスの要素になれないてにCats は扱えない • Ackermann set theory ではクラスもクラスの要素になれるが， Catsは扱えない（この中では一番有望であるが） • 圏論に集合論的基礎を与えることに関する論文を２つ挙げておく F.A. Muller, "Sets, Classes, and Categories" British Journal for the Philosophy of Science 52 (2001) 539-573 Ackermann set theory に手を入れた ARC という集合論を提案している． Michael A. Shulman, "Set theory for category theory” arXiv, 2008 ジャーナル論文ではないみたい．informal paper と言っている. 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch