「Aとする。BならばC」って、どこまでが仮定なの？

B？それともAかつB？

¬(A∧B)∨(A∧C)
= (¬(A∧B)∨A)∧(¬(A∧B)∨C)
= (¬A∨¬B∨A)∧(¬(A∧B)∨C)
= ¬(A∧B)∨C

どちらでも同じ
ってことだね

よくわからない
よかったら、具体例をあげてくれない？

nを整数とする。n^2が偶数ならば、nは偶数である。

Aは、BやCを述べるための前提という気がする

>>1
単発質問スレ禁止

>>7
自治厨きっしょ

f: X -> Y, g: Y -> Zとする。f, gが単射ならばg○fも単射である。

俺にはルール無用

nを整数とする。←問題を解くのに整数が使えると勝手に決めつけ…仮定
n^2が偶数ならば、←ケースの分岐。整数のとりうるケースの1つ…百科事典だから仮定じゃない
nは偶数である。←合成してるからて

合成してるから、半分仮定半分百科事典

〜ならば〜
が
百科事典ケースもある
決めつけ仮定ケースもある

nを整数とする。←偽の可能性あり
n^2が偶数ならば、←真しかない
nは偶数である。←偽と真の合成

お薬増やしておきますね

ビタミンとか野菜とか
足りない物摂取大事

こんなの数学やっててほぼ意識しないが
Leanとか上手く作られてんなあ、と思う
https://leanprover-community.github.io/mathematics_in_lean/index.html
数学記述するために必要十分な文法が揃ってる

Lean4で「Aとする。BならばC」は
theorem {A} B ⇒ C := 証明　（間違ってるかも）

A⇒Bが関数の型というのは驚き

A地点からB地点へ

AならばBの証明とAからBへの関数はいかにも類似した概念だと思うが

専門用語ではカリーハワード同型対応というらしい

すべて関数（クロージャ）で表現可能
さらにSchemeのように現在の継続を取り出せると、古典論理に背理法を追加可能

カリーハワード同型対応　大西
京大CW

リンク張れないのでggr

∀の導入と∃の除去も関数
ほんと世界よく出来てる

RIMSの先生が書いた数理論理学の入門書あるけど、あれおすすめだよ

コンピュータは数学者になれるのか？

Amazonでは新品は売切
東京と大阪の一部の丸善ジュンク堂には残ってるようだ

MumfordもTaoもScholzeも、コンピュータにハマったよなあ

何かしら可能性があるんだろうな

トポロジー、組み合わせだけだろうけど

でも、数学って畢竟組み合わせ論だから、天才にはそこまで見えてるんだろう

CoT以来、Leanと合体して大半の数学者が十年以内にいらなくなる状況に
なりつつある

コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ
照井一成 (著)

コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ
照井一成 (著)

型の型

カタカタカタ

>>29
過剰な受験対策をする人のせいで、大学で学問をやりたい人が割りを食っている
https://rio2016.5ch.net/test/read.cgi/math/1735625117/173

>>31
これソフトカバーで再発売してほしいな
何であんなかさむデザインなんだろう

>>31
これは名著
いつでも入手できる文庫とかで再販されるべき

文庫は嫌でしょw
数式あるんだからソフトカバーでいいよ

コンピュータは数学者になれるのか?
図書館も書店も全滅だったので、
古書店に立ち寄って購入。
近所（といっても旧峠をひとつ越え）の古書店が一番揃っている。

パルプンテの魔術の、まるで将棋だな、とはどういうことなのか？
https://rio2016.5ch.net/test/read.cgi/sci/1751186723/172-187/

現実法律｢──｣創作法律｢──｣、｢実行使｣｢不認可｣、──と──にリンクのみ編集してみてるこのリンク。内容と内容のこちらを確認してくれ
https://egg.5ch.net/test/read.cgi/emperor/1758912538/5-25/

https://itest.5ch.net/rio2016/test/read.cgi/math/1757829141

引っ込め引っ込め
https://egg.5ch.net/test/read.cgi/emperor/1752832751/208-218/
─
レスバ訓練は&嘘は&悪人変換は？
https://rio2016.5ch.net/test/read.cgi/sci/1713322442/549-551/
─
"たむろ"
https://egg.5ch.net/test/read.cgi/emperor/1747893339/94-99/
─
勉強の人口の差異の何故の提起
https://rio2016.5ch.net/test/read.cgi/math/1752992144/20-30/
─
｢強制｣｢一例｣の上権力側からの法学→から→下側からの奉学は｢限界非限界｣
https://itest.5ch.net/egg/test/read.cgi/emperor/1758912538/42-62/
─
性犯罪→安売り→歴史理屈
https://rio2016.5ch.net/test/read.cgi/math/1759388694/14-16/

お袈数(食事って一例に仏教用語から？)
https://itest.5ch.net/rio2016/test/read.cgi/math/1759388694/18/
─
雷遁の衣or千鳥→の相違がなきゃおかしい。研究材料。
https://mao.5ch.net/test/read.cgi/occult/1736270826/534-564/
─
ﾏｲﾝﾄﾞﾏｯﾌﾟの進化はｿﾛﾊﾞﾝﾏｯﾌﾟ
https://itest.5ch.net/rio2016/test/read.cgi/sci/1760083437/
─
手数の今後
https://itest.5ch.net/rio2016/test/read.cgi/sci/1735826672/59/

>>1
Aは証明の仮定。BならばC（B→C）はひとつの論理式（含意）でBは含意の仮定。
Bを証明の仮定にしてCを帰結すること　と　仮定無しにB→Cを帰結すること　は同値（条件付き証明という定理）。