[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 42 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
189: 2019/11/15(金)16:57:29.86 ID:EGNvbGLz(1) AAS
スタップあんどソーカル
237(1): 2019/11/18(月)13:35:37.86 ID:iYNvF/DV(6/6) AAS
確認するが、
IUTの修正は まったく新しい数学のパラダイム
の枠内だろう
293(1): 2019/11/21(木)18:46:45.86 ID:PWUhKm/4(1) AAS
>>288で Coqに触れたのはHottも含め
このスレで話題になったから。
念のため
357(1): 2019/11/24(日)07:33:50.86 ID:TVgOpa6s(1/14) AAS
>>350
>SU-METALはアイドルではないよ
SU-METALもMOAMETALもメタル界のアイドルだよ
>BABYMETALは欧米でメタルのサブジャンルとして認められている
＞画像ﾘﾝｸ[jpg]:i.imgur.com
上記の図のKawaii Metalこそ、
日本のアイドルがメタル界に認められた証拠
省25
359: 2019/11/24(日)08:03:06.86 ID:TVgOpa6s(3/14) AAS
カワイイメタル
外部ﾘﾝｸ:ja.wikipedia.org
「カワイイメタル（kawaii metal、あるいはアイドルメタル<idol metal>、カワイイコア<kawaiicore>など）
とは2010年代初頭に日本で誕生したヘヴィメタルとJ-POPの要素を融合した音楽ジャンルである。
典型的なカワイイメタルの組成は、J-POPのメロディーと日本のアイドル美学を
ヘヴィメタルと組み合わせることを含む。」
どうでもいいがAldiousが入ってるのは
省4
443: 2019/11/25(月)20:54:07.86 ID:whF6Ar4A(1) AAS
forgetting the histories of Bungen
464: 2019/11/26(火)20:36:49.86 ID:C+e1JA6H(1/4) AAS
>>444氏や>>449氏は明らかに誘っているよね。蟻地獄のような感じでｗ
私（>>430）でもIUT理解者や支持者を偽装して答えられそうな内容だよ
こういう疑問や批判に対しては、IUTの概要を知っていれば簡単に答えられる
しかし、IUT用語でその論理をつなげるだけにしかならないので、それが正しいのかということは断言できない
>>430についても主論文、望月反論レポ、エイリアン論文を読んでいれば簡単に答えられるはずだよ
だが、私自身納得できないし、当然相手を納得させることはできない。
>>423氏がB本人だとは思わないけど（でもあんな本書いて宣伝に躍起になっているくらいだからありえるかもしれんｗ）、
省1
502: 2019/11/29(金)03:18:34.86 ID:JZikqz01(2/4) AAS
Anabelian geometry with étale homotopy types
ALEXANDER SCHMIDT AND JAKOB STIX
Anabelian geometry with etale homotopy types
generalizes in a natural way classical anabelian geometry with etalefundamental groups.
We show that, both in the classical and
the generalized sense, any point of a smooth
variety over a field k which is finitely generated
省5
599: 2019/12/01(日)22:45:55.86 ID:cZjZ8dSt(1) AAS
宇宙大輪際佐藤幹夫
796: 2019/12/14(土)07:30:20.86 ID:t6RbzaaN(1) AAS
>>787
数秘術はIUTらしけど、
あなたも いわしのあたまも信心から
806: 2019/12/14(土)23:56:28.86 ID:DmF8/nWn(3/3) AAS
不定性についても当初はネガティブな言い方をしていて、それを剛性で抑えるんだということで、
円分剛性同型、クンマー理論などが必要だという話だったが、SSとの討論の後は不定性の効用を強調するようになったね
結局、何とでもいえる理論もどき、後から付け足して説明すればよいという態度（しかもレトリックを多用して）、
それらが多くの数学者から見放された原因だと思う
しかも、これ以上の説明と言っても上で書いたようにIUT語、IUT文体の増殖しかできないわけで……
837: 2019/12/21(土)07:18:21.86 ID:UgqFkv4n(1) AAS
>>833
> 過去スレでcanonicalなバカだと罵倒されたこともあるｗ
まるで自分がバカでないかのような物言いだがそれは間違っている
873: 2019/12/22(日)07:51:10.86 ID:dWgKJ6XY(1/15) AAS
＞数学はすべての人間に備わっている良識（bon sens）があれば正誤を見分けられる
＞それをコンピュータ証明で実現しよう
良識はあてになりませんね
公理やら定義やらの無矛盾性は良識では見分けられないですよ
コンピュータ証明では、公理から定理を導く証明のチェックは可能ですが
肝心の公理が無矛盾性を満たさない場合、いかなる定理も導けますから
そもそも公理系自体が無意味になりますね
892: 2019/12/22(日)15:28:15.86 ID:dWgKJ6XY(11/15) AAS
>過剰に具体的であったり抽象的であったり、
>普通とは違った形で言葉を用いたりするなどの
>奇異な話し方をする。
数学板や物理板には多いですね
専門家が専門用語で話してるのも同じことだろうという人がいますが
専門家なら相手のレベルに合わせて説明します
相手のレベルなどお構いなしに専門用語ばかり並べれば
省2
962: 2019/12/26(木)20:18:52.86 ID:snAMemQL(2/3) AAS
後進国ドイツはゴミ回収とゴミの再生工場だった
それが第三帝国なんだよ
帝国
スペイン
ポルトガル
イギリス
フランス
省3
963: 2019/12/26(木)20:20:56.86 ID:snAMemQL(3/3) AAS
後発によしだ洋一はフランス帝国に留学した
そこでの思い出はフランス語の家庭教師と
バス停の前にいた花売り(ばいしゅんふ)の少女
だった
よしだは晩年に推理小説の面白さがわからないとボヤキ
数学の思い出など一切なく色ボケしたじじいになってしまった
哀れだ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s