「Aとする。BならばC」って、どこまでが仮定なの？at MATH「Aとする。BならばC」って、どこまでが仮定なの？ - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト25:１３２人目の素数さん 25/01/12 17:38:11.84 e/vGgRYt.net RIMSの先生が書いた数理論理学の入門書あるけど、あれおすすめだよ 26:１３２人目の素数さん 25/01/12 17:43:34.67 e/vGgRYt.net コンピュータは数学者になれるのか？ Amazonでは新品は売切 東京と大阪の一部の丸善ジュンク堂には残ってるようだ 27:１３２人目の素数さん 25/01/12 17:46:40.19 E4t54sXN.net MumfordもTaoもScholzeも、コンピュータにハマったよなあ 何かしら可能性があるんだろうな 28:１３２人目の素数さん 25/01/12 18:29:01.21 tbOmbWPu.net トポロジー、組み合わせだけだろうけど 29:１３２人目の素数さん 25/01/12 18:33:57.29 W1XfdgXp.net でも、数学って畢竟組み合わせ論だから、天才にはそこまで見えてるんだろう 30:１３２人目の素数さん 25/01/12 22:14:53.35 k9fkMFiT.net CoT以来、Leanと合体して大半の数学者が十年以内にいらなくなる状況に なりつつある 31:１３２人目の素数さん 25/01/13 08:55:45.21 ZZe3wroh.net コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ 照井一成 (著) 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch