「Aとする。BならばC」って、どこまでが仮定なの？ (38ﾚｽ)
上下前次1-新
1(1): 01/12(日)02:33 ID:cWtGOqbZ(1) AAS
B？それともAかつB？
2: 01/12(日)02:44 ID:EckRkevb(1) AAS
¬(A∧B)∨(A∧C)
= (¬(A∧B)∨A)∧(¬(A∧B)∨C)
= (¬A∨¬B∨A)∧(¬(A∧B)∨C)
= ¬(A∧B)∨C
3: 01/12(日)03:30 ID:HSTXq+8N(1) AAS
どちらでも同じ
ってことだね
4: 01/12(日)03:45 ID:5RBeZlvl(1) AAS
よくわからない
よかったら、具体例をあげてくれない？
5: 01/12(日)03:50 ID:o9ca2aTn(1) AAS
nを整数とする。n^2が偶数ならば、nは偶数である。
6: 01/12(日)04:37 ID:TkiFw+Y4(1) AAS
Aは、BやCを述べるための前提という気がする
7(1): 01/12(日)05:59 ID:tbOmbWPu(1/6) AAS
>>1
単発質問スレ禁止
8: 01/12(日)07:03 ID:Ops8P+jy(1) AAS
>>7
自治厨きっしょ
9: 01/12(日)08:38 ID:IZTUpFGF(1) AAS
f: X -> Y, g: Y -> Zとする。f, gが単射ならばg○fも単射である。
10: 01/12(日)09:28 ID:tbOmbWPu(2/6) AAS
俺にはルール無用
11: poem 01/12(日)12:29 ID:UM6kEWeo(1/5) AAS
nを整数とする。←問題を解くのに整数が使えると勝手に決めつけ…仮定
n^2が偶数ならば、←ケースの分岐。整数のとりうるケースの1つ…百科事典だから仮定じゃない
nは偶数である。←合成してるからて
12: poem 01/12(日)12:29 ID:UM6kEWeo(2/5) AAS
合成してるから、半分仮定半分百科事典
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
数式あるんだからソフトカバーでいいよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.175s*