IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。
前スレ Inter-universal geometry と ABC予想 39
https://rio2016.5ch.net/test/read.cgi/math/1559125072/
Inter-universal geometry と ABC予想 40
■ このスレッドは過去ログ倉庫に格納されています
1１３２人目の素数さん
2019/07/05(金) 23:03:50.36ID:2LcLaaDX10１３２人目の素数さん
2019/07/07(日) 16:45:13.98ID:8rrQHGup 焼肉代を稼ぐ数学
2019/07/07(日) 16:59:38.21ID:YrbqthB1
オレもタクローと豪遊してやる！
2019/07/07(日) 17:27:04.31ID:yj3B8FXO
焼肉屋への拘りが凄いのがいるな
2019/07/07(日) 17:54:10.25ID:lpaZ4Csf
京都で食レポグルメやりたいです。
14１３２人目の素数さん
2019/07/07(日) 17:59:11.81ID:dAVUPwu2 くだらんセミナーやるよりももっちーと焼肉を囲む夕べとか
なら５００人とかすぐ集まるんじゃない
なら５００人とかすぐ集まるんじゃない
15１３２人目の素数さん
2019/07/07(日) 18:12:54.45ID:CitnFoch Foundations and Perspectives of Anabelian Geometry,
RIMS workshop, May 18-22 2020
Invited speakers:
Fedor Bogomolov (Courant Inst., NYU, USA),
Kazumi Higashiyama (RIMS, Kyoto Univ., Japan),
Yuichiro Hoshi (RIMS, Kyoto Univ., Japan),
Emmanuel Lepage (Sorbonne Univ, Paris, France),
Arata Minamide (RIMS, Kyoto Univ., Japan),
Shinichi Mochizuki (RIMS, Kyoto Univ., Japan),
Takahiro Murotani (RIMS, Kyoto Univ., Japan),
Hiroaki Nakamura (Osaka Univ., Japan),
Florian Pop (Univ. Pennsylvania, USA),
Koichiro Sawada (RIMS, Kyoto Univ., Japan),
Jakob Stix (Frankfurt Univ., Germany),
Akio Tamagawa (RIMS, Kyoto Univ., Japan),
Adam Topaz (Univ. Alberta, Canada),
Yuri Tschinkel (Simons Found., USA),
Shota Tsujimura (RIMS, Kyoto Univ., Japan),
Yu Yang (RIMS, Kyoto Univ., Japan)
Confirmed participants include:
Thomas Bitoun (Univ. Toronto, Canada),
Magnus Carlson (Hebrew Univ., Israel),
Weronika Czerniawska (Univ. Nottingham, UK),
Paolo Dolce (Univ. Nottingham, UK),
Taylor Dupuy (Univ Vermont, USA),
Machiel van Frankenhuijsen (Utah Valley Univ., USA),
Thomas Geisser (Rikkyo Univ., Japan),
Ilia Itenberg (Sorbonne Univ., Paris, France),
Kirti Joshi (Univ. Arizona, USA),
Mikhail Kapranov (IPMU, Japan),
Fumiharu Kato (Tokyo Inst. Technology, Japan),
Kiran Kedlaya (UCSD, USA),
Yakov Kremnitzer (Univ. Oxford, UK),
Qing Liu (Univ. Bordeaux, France),
Wojciech Porowski (Univ. Nottingham, UK),
Yuichiro Taguchi (Tokyo Inst. Technology, Japan),
Dajano Tossici (Univ. Bordeaux, France),
Kang Zuo (Univ. Mainz, Germany)
RIMS workshop, May 18-22 2020
Invited speakers:
Fedor Bogomolov (Courant Inst., NYU, USA),
Kazumi Higashiyama (RIMS, Kyoto Univ., Japan),
Yuichiro Hoshi (RIMS, Kyoto Univ., Japan),
Emmanuel Lepage (Sorbonne Univ, Paris, France),
Arata Minamide (RIMS, Kyoto Univ., Japan),
Shinichi Mochizuki (RIMS, Kyoto Univ., Japan),
Takahiro Murotani (RIMS, Kyoto Univ., Japan),
Hiroaki Nakamura (Osaka Univ., Japan),
Florian Pop (Univ. Pennsylvania, USA),
Koichiro Sawada (RIMS, Kyoto Univ., Japan),
Jakob Stix (Frankfurt Univ., Germany),
Akio Tamagawa (RIMS, Kyoto Univ., Japan),
Adam Topaz (Univ. Alberta, Canada),
Yuri Tschinkel (Simons Found., USA),
Shota Tsujimura (RIMS, Kyoto Univ., Japan),
Yu Yang (RIMS, Kyoto Univ., Japan)
Confirmed participants include:
Thomas Bitoun (Univ. Toronto, Canada),
Magnus Carlson (Hebrew Univ., Israel),
Weronika Czerniawska (Univ. Nottingham, UK),
Paolo Dolce (Univ. Nottingham, UK),
Taylor Dupuy (Univ Vermont, USA),
Machiel van Frankenhuijsen (Utah Valley Univ., USA),
Thomas Geisser (Rikkyo Univ., Japan),
Ilia Itenberg (Sorbonne Univ., Paris, France),
Kirti Joshi (Univ. Arizona, USA),
Mikhail Kapranov (IPMU, Japan),
Fumiharu Kato (Tokyo Inst. Technology, Japan),
Kiran Kedlaya (UCSD, USA),
Yakov Kremnitzer (Univ. Oxford, UK),
Qing Liu (Univ. Bordeaux, France),
Wojciech Porowski (Univ. Nottingham, UK),
Yuichiro Taguchi (Tokyo Inst. Technology, Japan),
Dajano Tossici (Univ. Bordeaux, France),
Kang Zuo (Univ. Mainz, Germany)
2019/07/07(日) 18:24:49.96ID:yj3B8FXO
17１３２人目の素数さん
2019/07/07(日) 18:39:14.12ID:qJv/CPjB ワークショップのテーマは
Foundations and Perspectives of Anabelian
Geometry, ですね。
IPMUからkapranovが参加するんだ
Foundations and Perspectives of Anabelian
Geometry, ですね。
IPMUからkapranovが参加するんだ
18１３２人目の素数さん
2019/07/07(日) 20:08:56.55ID:cXINSy1B あれ、お笑い担当のヒゲおじさんは？
しかし実質１期生が大量退院したときも院生のスピーカー多かったよね
やっとあきらめたのかな
これで予算５千万前後？
大物スピーカーへの謝礼は３００万ぐらい？
今回はＲＩＭＳ主催だから録画ＯＫだろうからば川上巻き込んでニコ動やるのかな
しかし実質１期生が大量退院したときも院生のスピーカー多かったよね
やっとあきらめたのかな
これで予算５千万前後？
大物スピーカーへの謝礼は３００万ぐらい？
今回はＲＩＭＳ主催だから録画ＯＫだろうからば川上巻き込んでニコ動やるのかな
2019/07/07(日) 20:58:31.23ID:/ElpgkBZ
完全理解者が地元で参加しないってどゆこと？
2019/07/07(日) 21:16:59.46ID:Zv7dVr2A
焼き肉接待係に立候補したいです
経費と通訳は数理研持ちでよろ
経費と通訳は数理研持ちでよろ
21１３２人目の素数さん
2019/07/07(日) 21:27:06.31ID:hd6S/F+b2019/07/07(日) 22:08:39.07ID:yj3B8FXO
2020年ねえ
この時期にこういう事をやる場合、むしろリジェクトするとは到底思えないよね
かといってアクセプトするともあまり思えないから、まさか2020年度まで引っ張るのかよw
この時期にこういう事をやる場合、むしろリジェクトするとは到底思えないよね
かといってアクセプトするともあまり思えないから、まさか2020年度まで引っ張るのかよw
23１３２人目の素数さん
2019/07/07(日) 22:16:40.37ID:qJv/CPjB >>19
科研の「宇宙際幾何学のさらなる展開」
を見ても 山下代表望月新一研究者で、
日本のIUTT専門研究者は2名しかいない。
山下氏が欠席なら 望月新一氏が
「遠アーベル幾何学とパーフェクトイド空間」「遠アーベル幾何学とIUTTからリーマン予想」をスピーチするんでしょ、
でも なぜ山下氏はスピーチどころか
欠席なんだろ？
科研の「宇宙際幾何学のさらなる展開」
を見ても 山下代表望月新一研究者で、
日本のIUTT専門研究者は2名しかいない。
山下氏が欠席なら 望月新一氏が
「遠アーベル幾何学とパーフェクトイド空間」「遠アーベル幾何学とIUTTからリーマン予想」をスピーチするんでしょ、
でも なぜ山下氏はスピーチどころか
欠席なんだろ？
2019/07/07(日) 23:04:08.78ID:jICSLsuM
流石にまだregistしてないだけだろうね
そこまで揚げ足取らんでもw
現時点で日本人の参加者は講演者か京都以外の参加者だけじゃん
まあ研究無能のヒゲおじさんは話す材料が全くないのだろうがwww
そこまで揚げ足取らんでもw
現時点で日本人の参加者は講演者か京都以外の参加者だけじゃん
まあ研究無能のヒゲおじさんは話す材料が全くないのだろうがwww
2019/07/07(日) 23:08:32.56ID:pgZYn6gL
そうだよね
フェセンコにケンカ売れるぐらいの巨頭なんだから
ところでフェセンコは？
まさか遠アーベルを語れないとか？
フェセンコにケンカ売れるぐらいの巨頭なんだから
ところでフェセンコは？
まさか遠アーベルを語れないとか？
2019/07/07(日) 23:13:07.73ID:aXoOEDcU
別にいいだろ
Ｂなんか語れないけど理解者だし準備委員なんだぜ
ところでサイディやリページュは
Ｂなんか語れないけど理解者だし準備委員なんだぜ
ところでサイディやリページュは
2019/07/07(日) 23:35:37.26ID:yj3B8FXO
IUT関連は後でやるから、これはできるだけ広い面子集めてるだけなんじゃないの
2019/07/07(日) 23:35:46.17ID:jnCxJQtW
それ以外の3つのカンファレンスに山下はスピーカーで参加と書いてあるが。
29１３２人目の素数さん
2019/07/07(日) 23:44:55.48ID:0NLYWz7x なるほど、
IUTと遠アーベル幾何学は別なんでしょうね
IUTと遠アーベル幾何学は別なんでしょうね
2019/07/07(日) 23:45:43.43ID:yj3B8FXO
来年広がりを語るからには今年度に白黒！頼みますよ
31１３２人目の素数さん
2019/07/08(月) 00:16:58.55ID:jK4J5BXU ヒゲって何？新キャラ？
2019/07/08(月) 00:54:41.20ID:DyCucefI
山下剛のことだろう
2019/07/08(月) 00:57:39.53ID:EuWllM40
>>30
今年前半でこんなことになるなんて思ってなかったろうね
今年前半でこんなことになるなんて思ってなかったろうね
34１３２人目の素数さん
2019/07/08(月) 02:15:47.46ID:kNe/1GCU ケドラヤはもっちーがH大でMath 55の講師をしてたとき、もっちーのアシスタントだった？
2019/07/08(月) 09:37:48.57ID:QnaCwkyK
36１３２人目の素数さん
2019/07/08(月) 10:36:26.01ID:2LARPI60 RIMS主催 2020 ワークショップ
宇宙際タイヒミュラー理論の拡がり
公式資料は
加藤文元本と加藤文元講演 ニコニコ動画
http://www.kurims.kyoto-u.ac.jp/~motizuki/project-2020-japanese.html
宇宙際タイヒミュラー理論の拡がり
公式資料は
加藤文元本と加藤文元講演 ニコニコ動画
http://www.kurims.kyoto-u.ac.jp/~motizuki/project-2020-japanese.html
2019/07/08(月) 13:18:41.56ID:nKG4OqkP
山師たちのやましさ
2019/07/08(月) 13:30:12.71ID:RrqtylEp
IUT終わったんじゃないの？
39１３２人目の素数さん
2019/07/08(月) 16:20:06.51ID:lUEUylpX とんでもない
2020年がクライ○ックスだよ
2020年がクライ○ックスだよ
2019/07/08(月) 16:42:39.94ID:XCLer+UT
まったく終わってない
鋭意前進中 有力数学者もしばしば来てるしな
鋭意前進中 有力数学者もしばしば来てるしな
41１３２人目の素数さん
2019/07/08(月) 16:58:24.40ID:6f9tQBBR 有力数学者でなく IUTの身内だろ
2019/07/08(月) 17:17:11.24ID:XWbAJzBq
43１３２人目の素数さん
2019/07/08(月) 17:28:31.71ID:TpuhfFey >>42
誰？w
誰？w
44１３２人目の素数さん
2019/07/08(月) 17:29:02.12ID:68p4UCXb 結局理解者は増えているのか？
RIMSの身内とFesenkoの身内以外で理解したと表明している人はいるのか？
RIMSの身内とFesenkoの身内以外で理解したと表明している人はいるのか？
2019/07/08(月) 17:53:49.63ID:/IovEHlD
>>40
君みたいな人って、RIMSにいるけど理論はさっぱりわかんないみたいな事情通なの？
君みたいな人って、RIMSにいるけど理論はさっぱりわかんないみたいな事情通なの？
2019/07/08(月) 19:21:43.80ID:UCRvXDQF
>>30
クライポエティクス
クライポエティクス
47１３２人目の素数さん
2019/07/08(月) 19:39:47.29ID:6dqCUg8w 日本の数学者も欧米を見習って↓みたいにならないとダメだ
StreetFighterz Ride Of Century 2012 *OFFICIAL*
https://www.youtube.com/watch?v=DWd5_02Km_M
Streetfighterz Ride Of The Century 2013 *Official*
https://www.youtube.com/watch?v=54O8og5iJNY
RIDE OF THE CENTURY 2016
https://www.youtube.com/watch?v=mgMvq5RjDQg
StuntFreaksTeam - THIS IS SFT
https://www.youtube.com/watch?v=-vGJGwAU-Vc
StuntFreaksTeam - OUR LIFESTYLE
https://www.youtube.com/watch?v=qMdnfMln5R4
TRR 2014 - Episode 7/10 - Sunny Supermoto Sunday
https://www.youtube.com/watch?v=PE3qdtIs-oo
StreetFighterz Ride Of Century 2012 *OFFICIAL*
https://www.youtube.com/watch?v=DWd5_02Km_M
Streetfighterz Ride Of The Century 2013 *Official*
https://www.youtube.com/watch?v=54O8og5iJNY
RIDE OF THE CENTURY 2016
https://www.youtube.com/watch?v=mgMvq5RjDQg
StuntFreaksTeam - THIS IS SFT
https://www.youtube.com/watch?v=-vGJGwAU-Vc
StuntFreaksTeam - OUR LIFESTYLE
https://www.youtube.com/watch?v=qMdnfMln5R4
TRR 2014 - Episode 7/10 - Sunny Supermoto Sunday
https://www.youtube.com/watch?v=PE3qdtIs-oo
48１３２人目の素数さん
2019/07/08(月) 22:53:43.99ID:UCRvXDQF ああ、なんか斜めに力が入ってるのは初めてのスピーカ連が張り切ってんだな
2019/07/08(月) 23:45:09.41ID:QnaCwkyK
「理解した」が「証明に穴があるという指摘には答えられない」
こういう理解者はどんどん増えているようだw
こういう理解者はどんどん増えているようだw
50１３２人目の素数さん
2019/07/09(火) 00:10:11.55ID:QgQ7l2pl 全数学者へ
偽の命題から導出される真または偽の命題は真である
これを説明せよ
偽の命題から導出される真または偽の命題は真である
これを説明せよ
2019/07/09(火) 03:15:32.56ID:l49CNyeh
お気に入りの焼肉屋は旨くても潰れる
2019/07/09(火) 12:22:53.53ID:zhdOoioJ
annalにアクセプト
2019/07/09(火) 15:48:33.48ID:vK3G0Gf+
アナルにつっこんだか！
2019/07/09(火) 19:29:49.00ID:ahrsFdMV
望月先生、ガッキーだけでなく石原さとみもフリーになりました
アクセプトされたら結婚できます
アクセプトされたら結婚できます
2019/07/09(火) 21:43:16.41ID:rjMmSriK
そうです
毎日焼肉屋にいっても文句いわれないんですよ
毎日焼肉屋にいっても文句いわれないんですよ
56sage
2019/07/09(火) 23:23:24.36ID:zaraULih まもなく Seven years have passed か・・・
はじめはときめいたけど、もうええわ、ヤメヤメ
はじめはときめいたけど、もうええわ、ヤメヤメ
2019/07/09(火) 23:28:31.76ID:hzbQNeR4
まだ続いてて草
いい加減落とせよ
来年また立ててどうぞ
いい加減落とせよ
来年また立ててどうぞ
58１３２人目の素数さん
2019/07/10(水) 00:26:46.76ID:YAw8bg+W SSに反論できない時点で終わったんじゃないの？
59１３２人目の素数さん
2019/07/10(水) 01:55:28.74ID:5XVTT3Nl ScholzeはStixに捨てられて引きこもりになった。
60１３２人目の素数さん
2019/07/10(水) 02:24:27.20ID:X/+rtEHl IUTは数学として死んでいる。
数学のゾンビにすぎない
数学のゾンビにすぎない
61１３２人目の素数さん
2019/07/10(水) 06:14:25.04ID:fTIsKGBL >>59
と京都の引きこもりがいってます
と京都の引きこもりがいってます
2019/07/10(水) 12:33:51.03ID:uIxgxS4v
正しいなんて一言も言ってない拡がってるって言ってるんだ
2019/07/10(水) 13:43:21.09ID:xOhRamSA
都合の悪いとこ隠してテンコ盛りで洗脳しただけじゃないのか
2019/07/10(水) 13:57:10.44ID:XIp7i+qi
「君は創○価会、ぼくはI○T教。お似合いだね。」
2019/07/10(水) 15:51:33.70ID:J1hvOfrV
スペンサー=ブラウン染みてきたな
66１３２人目の素数さん
2019/07/10(水) 16:21:54.11ID:YAw8bg+W IUTがまだ終わってないと言える根拠なんかある？
2019/07/10(水) 17:59:24.68ID:XIp7i+qi
>>66
ギブアップしてない
ギブアップしてない
68１３２人目の素数さん
2019/07/10(水) 19:17:02.63ID:+Njbp1qO >>65
スペンサー=ブラウンの件は 興味深いですね。
スペンサー=ブラウンの件は 興味深いですね。
2019/07/10(水) 20:01:08.33ID:is/WrUe6
スペンサー・ブラウン
http://www.math.tohoku.ac.jp/~kuroki/SB/
http://www.math.tohoku.ac.jp/~kuroki/SB/
2019/07/10(水) 20:52:43.56ID:uIxgxS4v
wikipedia が「...その際、バートランド・ラッセル、ウィトゲンシュタインと面識を持つ。」とか
始まってる時点で、数学者のイントロじゃないわな
始まってる時点で、数学者のイントロじゃないわな
2019/07/10(水) 22:17:06.35ID:INAU+8i3
実はただのブーリアンなところがいいところだろ
72１３２人目の素数さん
2019/07/11(木) 05:50:32.50ID:Ars3Kum0 >>55
SSレポートが、無限を使用する排中律ということで落ち着いてきたなら、
その後は遠アーベルでStixが意見して、Scholzeはcc:なのでは？
来年RIMS初回集会のStixの招待講演までと、その後がヤマなのかな。
SSレポートが、無限を使用する排中律ということで落ち着いてきたなら、
その後は遠アーベルでStixが意見して、Scholzeはcc:なのでは？
来年RIMS初回集会のStixの招待講演までと、その後がヤマなのかな。
73１３２人目の素数さん
2019/07/11(木) 07:31:56.25ID:Zv3clUMe SSレポートは問題提起だね
圏論から見て充満多重同型とラベルの位置づけ
はどうなの？
圏論から見て充満多重同型とラベルの位置づけ
はどうなの？
74１３２人目の素数さん
2019/07/11(木) 11:12:46.52ID:Zv3clUMe >SSレポートが、無限を使用する排中律という
こと
ソースは具体的にどこですか？
こと
ソースは具体的にどこですか？
2019/07/11(木) 16:41:42.20ID:xF2apFDw
ごめん、無限を使用する拝中律ってことで落ち着いてきたってどういう意味？
76１３２人目の素数さん
2019/07/12(金) 07:16:13.26ID:2FH9CSIo77１３２人目の素数さん
2019/07/12(金) 13:19:14.65ID:L+WV24lD >>76
ありがとうございます。
>>8の詳しい説明を待ちます。
前スレ 997 998では
ラベルによる種の管理はHigherだから
構わない、
FZCと矛盾しない感じに落ち着いた
=単なる印象で具体的なエビデンス
の話ではない
ふんいきで落ち着いたんですね。
Levy論文を読んでみます。
https://arxiv.org/abs/1801.08528
ありがとうございます。
>>8の詳しい説明を待ちます。
前スレ 997 998では
ラベルによる種の管理はHigherだから
構わない、
FZCと矛盾しない感じに落ち着いた
=単なる印象で具体的なエビデンス
の話ではない
ふんいきで落ち着いたんですね。
Levy論文を読んでみます。
https://arxiv.org/abs/1801.08528
78１３２人目の素数さん
2019/07/12(金) 15:30:45.29ID:8BAttn9q 擁護派の自演
79１３２人目の素数さん
2019/07/12(金) 19:30:17.83ID:qInvH3oC テレビみてたら
江戸時代 ⚪⚪亭にて
「お代官さま おやくそくは？」
「詭弁やとかわらやもいるか
それそれ内密にな
民はかわら版を読んで浮かれておる
そちら ようやった」
「お代官さま
カネがないが 借りたカネに利息つくから
カネがない< カネがない 」
「 かわらや ぼろ儲けじゃのう
詭弁や 弁がたつのう
カネがない カネがない カネがない、、
と反復していると なんでもありの
奇異な世界からカネが湧いてくるとは、、
うむ そちらは 悪じゃ おおワルじゃ」
「いえいえ お代官さまのお知恵を拝借した
だけですわ」
「 お代官さま
ふとどきものが乱入してきました」
「えい 頭がたかい、
この紋所が目に入らぬか？
このお方をなんと心得る
先の副将軍 におわせられるぞ」
「 詭弁をつかい民をたぶらかし私欲に走り
悪事をはたらくとは許しませんぞ
お代官、お家 取り潰しじゃ」
「悪代官と取り巻きをのこらず
ひっ捕らえよ」
「 ははぁ」
問い
水戸黄門物語 →IUTの辞書を完成せよ
例 ご印籠→フィールズ賞 受賞
江戸時代 ⚪⚪亭にて
「お代官さま おやくそくは？」
「詭弁やとかわらやもいるか
それそれ内密にな
民はかわら版を読んで浮かれておる
そちら ようやった」
「お代官さま
カネがないが 借りたカネに利息つくから
カネがない< カネがない 」
「 かわらや ぼろ儲けじゃのう
詭弁や 弁がたつのう
カネがない カネがない カネがない、、
と反復していると なんでもありの
奇異な世界からカネが湧いてくるとは、、
うむ そちらは 悪じゃ おおワルじゃ」
「いえいえ お代官さまのお知恵を拝借した
だけですわ」
「 お代官さま
ふとどきものが乱入してきました」
「えい 頭がたかい、
この紋所が目に入らぬか？
このお方をなんと心得る
先の副将軍 におわせられるぞ」
「 詭弁をつかい民をたぶらかし私欲に走り
悪事をはたらくとは許しませんぞ
お代官、お家 取り潰しじゃ」
「悪代官と取り巻きをのこらず
ひっ捕らえよ」
「 ははぁ」
問い
水戸黄門物語 →IUTの辞書を完成せよ
例 ご印籠→フィールズ賞 受賞
80１３２人目の素数さん
2019/07/12(金) 19:59:28.81ID:WChM+tLo オボカタの時と違って関係者や隠蔽の時系列が明確だろうから糾弾される時はキツイだろうな
2019/07/12(金) 20:27:03.00ID:uX+ICSER
B先生が誤りは見つからないっていったんだもん
がんばれば研究室で面倒見るっていったんだもん
がんばれば研究室で面倒見るっていったんだもん
82１３２人目の素数さん
2019/07/12(金) 20:52:47.29ID:aApBTvF9 山下剛はなんでアキバ系から文豪系に変わってしまったの？
2019/07/12(金) 21:22:19.71ID:H6MCoahp
>>77
ああそれはその話ね。Higherといっても別にn階に上げてくって話ではないわけで、要は
どうやって宇宙のループとか入れ子が成り立っているのか、或いは正しいのかということだな
群のアルゴリズムの射を通じてある意味バーチャルに、宇宙に別の宇宙の情報を埋め込んだ関係になっている
「射」はある意味何でもありだから、厳密には関手とも違うがそういう射を考えたというわけだ
そういう話は数学的な存在論としては不可能ではないが（スキームのメタ言語として）、
かといってSSがそういう話をしているとか、この宇宙際メタ言語がそれへの反論になってるとは全く
前スレでは書いてない。圏とZFCでIUTの議論はできる、というだけ。宇宙の作り方は選択公理だけではなくて
特殊な射を考えるというもの
かといってSSが実質的に指摘した、実多様体からスキームへのテータ写像が大域自明であるという問題が
解消されるわけではない。本当は数論的な局所体に特異に埋め込みたかったわけだ
ああそれはその話ね。Higherといっても別にn階に上げてくって話ではないわけで、要は
どうやって宇宙のループとか入れ子が成り立っているのか、或いは正しいのかということだな
群のアルゴリズムの射を通じてある意味バーチャルに、宇宙に別の宇宙の情報を埋め込んだ関係になっている
「射」はある意味何でもありだから、厳密には関手とも違うがそういう射を考えたというわけだ
そういう話は数学的な存在論としては不可能ではないが（スキームのメタ言語として）、
かといってSSがそういう話をしているとか、この宇宙際メタ言語がそれへの反論になってるとは全く
前スレでは書いてない。圏とZFCでIUTの議論はできる、というだけ。宇宙の作り方は選択公理だけではなくて
特殊な射を考えるというもの
かといってSSが実質的に指摘した、実多様体からスキームへのテータ写像が大域自明であるという問題が
解消されるわけではない。本当は数論的な局所体に特異に埋め込みたかったわけだ
2019/07/12(金) 21:36:00.60ID:H6MCoahp
ちなみに不定性っていうのは、つまりは厳密に言うと点集合の連続写像を扱ってるわけではない
このテータ写像ってのはIUTからしたら古典幾何学的な写像ではないが、これも射ならもっと柔軟に扱えるから
問題ないという認識だな
ただだからといってSSの指摘をクリアしているのかはまた別の問題だし、
あまりにも自由な射の使い方をしていて、圏論の概念を使ってはいるが圏論の原理には反するのではないか、
というのが圏論研究者からの指摘になっている
このテータ写像ってのはIUTからしたら古典幾何学的な写像ではないが、これも射ならもっと柔軟に扱えるから
問題ないという認識だな
ただだからといってSSの指摘をクリアしているのかはまた別の問題だし、
あまりにも自由な射の使い方をしていて、圏論の概念を使ってはいるが圏論の原理には反するのではないか、
というのが圏論研究者からの指摘になっている
2019/07/12(金) 21:42:02.19ID:Yd7KplMK
3.5.7と1.2.3.5では性質が異なる
2019/07/12(金) 21:43:53.69ID:mz4x94ZB
「ぜんぜん違うじゃん！」
「……」
「言ったよね！？ ABC証明できるすごい大理論作ったって…なのに、この結果は何！」
「当然の結果です」
「当然？ひどいよ、なんで…私が次世代幾何学研究のリーダーだったから？
もういいよ、私、数学やめる！」
「……」
「言ったよね！？ ABC証明できるすごい大理論作ったって…なのに、この結果は何！」
「当然の結果です」
「当然？ひどいよ、なんで…私が次世代幾何学研究のリーダーだったから？
もういいよ、私、数学やめる！」
2019/07/13(土) 00:43:25.55ID:DQB8EsrD
88１３２人目の素数さん
2019/07/13(土) 07:57:59.47ID:wkQftxaU 公式でない訪問や投稿しないレポートをする手順でなく、
集会にSTIXを招待して提起される様々な議事をオープンに論じるのだろ。
集会にSTIXを招待して提起される様々な議事をオープンに論じるのだろ。
2019/07/13(土) 08:29:53.47ID:3aLQWVjP
想像でものを言ってもなあ
90１３２人目の素数さん
2019/07/13(土) 14:43:55.73ID:Bh+sWIWa 読みにくく長すぎる論文を書き直したほうがいいんじゃない？
2019/07/13(土) 16:51:24.71ID:RIbPriC5
>>87
そういうコメントするとブーメランにもなっちゃうけどなw
そういうコメントするとブーメランにもなっちゃうけどなw
2019/07/13(土) 17:01:44.51ID:mkF9c91b
93１３２人目の素数さん
2019/07/13(土) 20:45:04.87ID:x1cX5qzt94１３２人目の素数さん
2019/07/14(日) 00:40:41.29ID:iXPoGvCe 「空気読めなくて周りをしらけさせるタイプが頑張って作文しました」って
もっちーの論文のことか・・・
本人も実はネタのつもりだったとのにえらく話題になっちゃって(≧∀≦)とか
もっちーの論文のことか・・・
本人も実はネタのつもりだったとのにえらく話題になっちゃって(≧∀≦)とか
95１３２人目の素数さん
2019/07/14(日) 01:20:11.30ID:O6Rkqsod ツッコミ待ちのボケレスがやっと突っ込まれたな笑
2019/07/14(日) 05:47:28.01ID:CtyyR0NL
時代は前世代
97１３２人目の素数さん
2019/07/14(日) 08:27:32.22ID:4etOl0bS バカボンだして教授たちに総スカンくらってユウキに泣きついたってウワサはないよね
2019/07/14(日) 12:35:40.36ID:OPTXtanN
2021は 43 * 47 の形に素因数分解できる唯一の数だから 2021年が山だな。
2019/07/14(日) 12:47:24.98ID:fhMsLO7q
あってる
100１３２人目の素数さん
2019/07/14(日) 14:17:21.77ID:ILOqG2lq101１３２人目の素数さん
2019/07/14(日) 14:49:35.91ID:nzjFObnE >>98
すげー大発見 IUT大勝利じゃん
すげー大発見 IUT大勝利じゃん
102１３２人目の素数さん
2019/07/14(日) 16:16:38.08ID:O21PVN3i 死さ×死な で唯一の数
103１３２人目の素数さん
2019/07/14(日) 16:23:39.00ID:AybqPn4N IUTが駄目だったら2035年くらいまでABC予想解けなさそう。BSDは2030年くらい
104１３２人目の素数さん
2019/07/14(日) 16:43:53.09ID:EZeI/Kch >>52
マジかよ
マジかよ
105１３２人目の素数さん
2019/07/14(日) 17:20:27.57ID:wthCDThW 山の年がドンドン後ろにずれていく件
106１３２人目の素数さん
2019/07/14(日) 17:31:44.69ID:AybqPn4N >>52
まさかホモ枕？
まさかホモ枕？
107１３２人目の素数さん
2019/07/14(日) 18:26:11.90ID:g9n62ACY ABCとBSD、どっちが重要？
108１３２人目の素数さん
2019/07/14(日) 18:35:38.19ID:8ZFn6Eb5 鳴り物入りだった次世代なんたらの面子って結局なんだったの
以前の院生のほうがマシかどっこい？
以前の院生のほうがマシかどっこい？
109１３２人目の素数さん
2019/07/14(日) 19:17:51.51ID:nzjFObnE 前世代が最高だった
110１３２人目の素数さん
2019/07/14(日) 21:54:46.39ID:IYYJtEbH >>107
圧倒的にBSD
圧倒的にBSD
■ このスレッドは過去ログ倉庫に格納されています