[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
22: 2022/02/12(土)12:05:34.95 ID:dc+Atj4B(8/8) AAS
【悲報】理系板で元東大特任准教授への誹謗中傷を18スレ合計約1万7千投稿も行っていた人物の正体は
「山形の天羽」という人物だと判明。
誰も知らない小物の擁護を深夜に三連投するのは本人のみ
【東大懲戒解雇 大澤昇平】★16
2chｽﾚ:rikei
83(1): 2022/03/26(土)13:11:58.95 ID:JU9S0djr(2/2) AAS
2006年入学で2008年夏って指導教官つかないだろ
91: 2022/03/27(日)20:24:28.95 ID:K7XI7R0w(2/2) AAS
どんどんストレートな表現になっていますね
効いている証拠です
228: 2022/04/11(月)17:22:41.95 ID:dfLs5v3w(5/8) AAS
cml-office.orgに置いてあったやる夫やらない夫の何も解説できていない漫画は
統合失調患者が考える講義のイメージが
主観的に描写されていて精神病理学的に貴重
講義の内容はただ専門用語を出すだけで、
健常者世界の講義では必須の内容説明は一切なく
その言葉から想起する雑然としたイメージを
漠然と語るだけ
そして狂言回しとなるやる夫とやらない夫の会話は
統合失調患者の自演特有の意味のない罵り合いに終始
し、健常者世界の講義で語るべき内容に一切触れないまま漠然とコマを大量消費して終わる
省2
301: 2022/04/13(水)23:36:26.95 ID:v2Kb67zo(2/2) AAS
>>300
いや、あなたほどでは
339: 2022/04/16(土)13:32:10.95 ID:3yUnrOjD(1) AAS
望月が証明を理解させられないのは望月自身が理解してないからだと思う
687(3): 2022/04/28(木)20:05:29.95 ID:2eKniQGM(2/4) AAS
別スレに貼ってあったが、このショルツも参加するトークセッション「数学の形式化 コンピュータはいつ証明を行うのですか？」を、
日本の数学者はきちんと見て勉強したほうがいいんじゃないか？ドイツ語っぽいが
外部ﾘﾝｸ:hcm.uni-bonn.de
(Google翻訳、都度割愛)
今日、研究コミュニティは、証明が正しいかどうか、および数学的定理がピアレビュープロセスによって、つまり最終的にはコンセンサスによって証明されたと見なされるかどうかを決定します。原則として、誤った評価の可能性があります。
このような証明は、コンピューターによって正しいかどうかをチェックできます。
これが標準になることはもはやユートピア的ではないようです。
「液体テンソル実験」で示したように、非常に複雑なステートメントでも形式化できるようになりました。ペーター・ショルツェはこれを彼の同僚に挑戦として提示しました。パネルディスカッションで結果を報告します。
745: 2022/04/29(金)20:11:56.95 AAS
数学者のやらかした行為でトンデモないとおもったのは
タルスキの「弟子の女子大生と＊＊Ｘ」とかいうやつだな
ゲンツェンがナチ党員だったとかいうだけで悪く言われるんなら
タルスキはこの一件だけで死罪だな いやほんとマジで
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s