[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
45(3): 2021/02/20(土)19:28:54.37 ID:Z8PgJDTw(15/21) AAS
>>44 追加
下記より
” and Hoshi-Mochizuki-Minamide,
the construction of arithmetic operads ”
とありますな、ワッハッハwww
(参考)
外部リンク:www.mfo.de
省20
77(1): 2021/02/21(日)09:31:55.37 ID:HYETa8wd(5/15) AAS
>>73
>御愁傷様(-||-)
他人をディスっても
自分を正当化することはできない
という至極まっとうな定理が
理解できない
Fラン数学科修士卒の落ちこぼれ
省3
450(1): 2021/03/01(月)16:10:24.37 ID:v7ayOauM(32/52) AAS
>>448
型理論。
MLTT 型理論にUnivalence Axiom を足したもん。
何が嬉しいかって、プログラミング言語なの。この理論。
469: 2021/03/01(月)16:26:34.37 ID:v7ayOauM(44/52) AAS
バカなの?墓穴掘りたいの?だから棺桶用意しておけとあれほど口酸っぱく言ったのに。
499(1): Schlecht 2021/03/02(火)08:04:10.37 ID:ozN2NqQb(3/25) AAS
>>497
ID:v7ayOauMさんて維新さんって名前なんだ…
倒幕志士好きなのかな?
505: Schlecht 2021/03/02(火)08:13:44.37 ID:ozN2NqQb(7/25) AAS
>>503
>なんかちょっとやばいやつ
そういう人をいじりに来る人もいますね
605: 2021/03/04(木)04:26:17.37 ID:mWCz6m4r(2/2) AAS
査読者以外で論文の裏書きが出来る人間を呼んで下さい^^
780(1): 2021/03/07(日)08:16:46.37 ID:EcMJkuCa(5/47) AAS
>炉シック
ロジックですね
昨日、とある方が書かれてましたが
↓これ、あってるんですか?
私も(AOL1)と(AOL4)の違いがわからないので
論理で証明できるならお示しください
ーーーーーーーーーーーーーーーーーーーー
省25
794(1): 2021/03/07(日)10:56:28.37 ID:EcMJkuCa(13/47) AAS
>>793
単純に∨と∧の意味というより、
M=J/<†I~‡I> (詳細は>>780)
という仕掛けだけで都合よくすり抜けられる
と思ってる点が問題かと思う
査読については「構想の有用性」という観点からアクセプトしたのかもしれん
理由はわからんがどうもうまくいくようだという判断か
省3
800(1): 2021/03/07(日)11:54:14.37 ID:EcMJkuCa(15/47) AAS
>>798
使ってませんよ 素人さん
865(1): 2021/03/07(日)21:20:09.37 ID:91/f8Kmu(2/2) AAS
>>864
長谷川氏が査読したってのは、どこの情報なの?
905(1): 2021/03/07(日)23:10:46.37 ID:u7YtHJ1m(1) AAS
>>901
>批判派の意見が、数学界のコンセンサスなら
ということはないのでは?
てゆーか専門外だとさっぱりだから
専門家の中で議論し尽くして欲しい
983: 2021/03/08(月)15:57:49.37 ID:k6AAgiAT(1) AAS
>>773
真実が残ります
時間は誤りを洗い流し、後には真実が残ります
真に価値あるものだけ見えていれば、後は全く問題じゃないです
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.231s*