【悲報】ZEN大学、新たな"研究所"を設立at MATH【悲報】ZEN大学、新たな"研究所"を設立 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト75:１３２人目の素数さん 26/06/02 03:01:45.34 PAijfPn7.net >数学だからこそLeanで検証しようって話 IUT語は自然言語ではないから leanで検証できない 76:１３２人目の素数さん 26/06/02 03:06:24.13 PAijfPn7.net 望月新一監修加藤文元著宇宙と 宇宙を繋ぐ「数学」 77:１３２人目の素数さん 26/06/02 05:13:23.79 9K9//Q0A.net 経歴で過大評価されてたけど実力はそこまででもなかった 晩年は自己評価と実績の剥離が受け入れられず 狂ってしまってとんでも理論に固執し続けて晩節を汚した 後世の望月評価はこんな感じで落ち着くだろうな 78:１３２人目の素数さん 26/06/02 12:22:24.05 RhtQq3GB.net >>75 低学歴在日ワラタ 色々分かってねーな どこの朝鮮人だおまえ まず数学自体が自然言語ではない 朝鮮人ww 79:１３２人目の素数さん 26/06/02 12:22:58.33 RhtQq3GB.net >>76 ゴミ本のタイトル？ 意味不明なコピペ書き込みしてんじゃねーぞゴミコラ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch