「Aとする。BならばC」って、どこまでが仮定なの？ (42ﾚｽ)
上下前次1-新
1(1): 01/12(日)02:33 ID:cWtGOqbZ(1) AAS
B？それともAかつB？
13: poem 01/12(日)12:30 ID:UM6kEWeo(3/5) AAS
〜ならば〜
が
百科事典ケースもある
決めつけ仮定ケースもある
14: poem 01/12(日)12:32 ID:UM6kEWeo(4/5) AAS
nを整数とする。←偽の可能性あり
n^2が偶数ならば、←真しかない
nは偶数である。←偽と真の合成
15: 01/12(日)12:48 ID:tbOmbWPu(3/6) AAS
お薬増やしておきますね
16: poem 01/12(日)12:55 ID:UM6kEWeo(5/5) AAS
ビタミンとか野菜とか
足りない物摂取大事
17: 01/12(日)13:13 ID:aGHxt5ul(1) AAS
こんなの数学やっててほぼ意識しないが
Leanとか上手く作られてんなあ、と思う
外部ﾘﾝｸ[html]:leanprover-community.github.io
数学記述するために必要十分な文法が揃ってる
Lean4で「Aとする。BならばC」は
theorem {A} B ⇒ C := 証明 （間違ってるかも）
18: 01/12(日)13:36 ID:6GueyTCV(1) AAS
A⇒Bが関数の型というのは驚き
19: 01/12(日)16:39 ID:tbOmbWPu(4/6) AAS
A地点からB地点へ
20: 01/12(日)17:04 ID:+cTeOBFK(1/2) AAS
AならばBの証明とAからBへの関数はいかにも類似した概念だと思うが
21: 01/12(日)17:06 ID:+cTeOBFK(2/2) AAS
専門用語ではカリーハワード同型対応というらしい
22: 01/12(日)17:10 ID:qVdK24qB(1/2) AAS
すべて関数（クロージャ）で表現可能
さらにSchemeのように現在の継続を取り出せると、古典論理に背理法を追加可能
23: 01/12(日)17:19 ID:tbOmbWPu(5/6) AAS
カリーハワード同型対応 大西
京大CW
リンク張れないのでggr
24: 01/12(日)17:35 ID:qVdK24qB(2/2) AAS
∀の導入と∃の除去も関数
ほんと世界よく出来てる
25: 01/12(日)17:38 ID:e/vGgRYt(1/2) AAS
RIMSの先生が書いた数理論理学の入門書あるけど、あれおすすめだよ
26: 01/12(日)17:43 ID:e/vGgRYt(2/2) AAS
コンピュータは数学者になれるのか？
Amazonでは新品は売切
東京と大阪の一部の丸善ジュンク堂には残ってるようだ
27: 01/12(日)17:46 ID:E4t54sXN(1) AAS
MumfordもTaoもScholzeも、コンピュータにハマったよなあ
何かしら可能性があるんだろうな
28: 01/12(日)18:29 ID:tbOmbWPu(6/6) AAS
トポロジー、組み合わせだけだろうけど
29(1): 01/12(日)18:33 ID:W1XfdgXp(1) AAS
でも、数学って畢竟組み合わせ論だから、天才にはそこまで見えてるんだろう
30: 01/12(日)22:14 ID:k9fkMFiT(1) AAS
CoT以来、Leanと合体して大半の数学者が十年以内にいらなくなる状況に
なりつつある
31(2): 01/13(月)08:55 ID:ZZe3wroh(1/2) AAS
コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ
照井一成 (著)
32: 01/13(月)08:56 ID:ZZe3wroh(2/2) AAS
コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ
照井一成 (著)
33: 01/14(火)07:58 ID:6fD3O2Pc(1) AAS
型の型
34: 01/14(火)08:47 ID:wAGmgpG8(1/2) AAS
カタカタカタ
35: 01/14(火)15:42 ID:wAGmgpG8(2/2) AAS
>>29
過剰な受験対策をする人のせいで、大学で学問をやりたい人が割りを食っている
2chｽﾚ:math
36: 01/15(水)20:21 ID:nZ1uSKE/(1) AAS
>>31
これソフトカバーで再発売してほしいな
何であんなかさむデザインなんだろう
37: 01/15(水)21:24 ID:Hr4XaTHM(1) AAS
>>31
これは名著
いつでも入手できる文庫とかで再販されるべき
38: 01/16(木)21:06 ID:HVzZ3L2P(1) AAS
文庫は嫌でしょw
数式あるんだからソフトカバーでいいよ
39: 09/07(日)16:27 ID:uMIwsOh/(1) AAS
コンピュータは数学者になれるのか?
図書館も書店も全滅だったので、
古書店に立ち寄って購入。
近所（といっても旧峠をひとつ越え）の古書店が一番揃っている。
40: poem 09/26(金)18:58 ID:/nNnTyOt(1) AAS
パルプンテの魔術の、まるで将棋だな、とはどういうことなのか？
2chｽﾚ:sci
41: poem 09/27(土)05:45 ID:pNHPEC/P(1/2) AAS
現実法律｢──｣創作法律｢──｣、｢実行使｣｢不認可｣、──と──にリンクのみ編集してみてるこのリンク。内容と内容のこちらを確認してくれ
2chｽﾚ:emperor
42: poem 09/27(土)13:02 ID:pNHPEC/P(2/2) AAS
2chｽﾚ:math
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.329s*