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
コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ
照井一成 (著)
32:１３２人目の素数さん
25/01/13 08:56:00.19 ZZe3wroh.net
コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ
照井一成 (著)
33:１３２人目の素数さん
25/01/14 07:58:19.81 6fD3O2Pc.net
型の型
34:１３２人目の素数さん
25/01/14 08:47:14.19 wAGmgpG8.net
カタカタカタ
35:１３２人目の素数さん
25/01/14 15:42:36.30 wAGmgpG8.net
>>29
過剰な受験対策をする人のせいで、大学で学問をやりたい人が割りを食っている
ｽﾚﾘﾝｸ(math板:173番)
36:１３２人目の素数さん
25/01/15 20:21:28.58 nZ1uSKE/.net
>>31
これソフトカバーで再発売してほしいな
何であんなかさむデザインなんだろう
37:１３２人目の素数さん
25/01/15 21:24:22.64 Hr4XaTHM.net
>>31
これは名著
いつでも入手できる文庫とかで再販されるべき
38:１３２人目の素数さん
25/01/16 21:06:34.74 HVzZ3L2P.net
文庫は嫌でしょw
数式あるんだからソフトカバーでいいよ
39:１３２人目の素数さん
25/09/07 16:27:22.50 uMIwsOh/.net
コンピュータは数学者になれるのか?
図書館も書店も全滅だったので、
古書店に立ち寄って購入。
近所（といっても旧峠をひとつ越え）の古書店が一番揃っている。
40:poem
25/09/26 18:58:58.09 /nNnTyOt.net
パルプンテの魔術の、まるで将棋だな、とはどういうことなのか？
ｽﾚﾘﾝｸ(sci板:172番)-187/
41:poem
25/09/27 05:45:12.71 pNHPEC/P.net
現実法律｢─｣創作法律｢─｣、｢実行使｣｢不認可｣、─と─にリンクのみ編集してみてるこのリンク。内容と内容のこちらを確認してくれ
ｽﾚﾘﾝｸ(emperor板:5番)-25/
42:poem
25/09/27 13:02:24.10 pNHPEC/P.net
URLﾘﾝｸ(itest.5ch.net)
43:poem
25/10/10 03:08:04.70 q0uBD/Cf.net
引っ込め引っ込め
ｽﾚﾘﾝｸ(emperor板:208番)-218/
─
レスバ訓練は&嘘は&悪人変換は？
ｽﾚﾘﾝｸ(sci板:549番)-551/
─
"たむろ"
ｽﾚﾘﾝｸ(emperor板:94番)-99/
─
勉強の人口の差異の何故の提起
ｽﾚﾘﾝｸ(math板:20番)-30/
─
｢強制｣｢一例｣の上権力側からの法学→から→下側からの奉学は｢限界非限界｣
URLﾘﾝｸ(itest.5ch.net)
─
性犯罪→安売り→歴史理屈
ｽﾚﾘﾝｸ(math板:14番)-16/
44:poem
25/10/10 22:05:16.94 h2OO4gPh.net
お袈数(食事って一例に仏教用語から？)
URLﾘﾝｸ(itest.5ch.net)
─
雷遁の衣or千鳥→の相違がなきゃおかしい。研究材料。
ｽﾚﾘﾝｸ(occult板:534番)-564/
─
ﾏｲﾝﾄﾞﾏｯﾌﾟの進化はｿﾛﾊﾞﾝﾏｯﾌﾟ
URLﾘﾝｸ(itest.5ch.net)
─
手数の今後
URLﾘﾝｸ(itest.5ch.net)
45:１３２人目の素数さん
25/10/20 11:17:48.80 DU8YfOMv.net
>>1
Aは証明の仮定。BならばC（B→C）はひとつの論理式（含意）でBは含意の仮定。
Bを証明の仮定にしてCを帰結すること と 仮定無しにB→Cを帰結すること は同値（条件付き証明という定理）。