「数学」をプログラミングするには

[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

182(2): 2024/04/01(月)10:16 ID:BJXCW8/H(1/2) AAS
計算機科学的には背理法はプログラミングでの継続に相当するものだと判明している
プログラム=証明型=命題という対応がある
命題としてはあるが証明ができない型としてa -> b -> a -> aがある

184: 182 2024/04/01(月)11:10 ID:BJXCW8/H(2/2) AAS
訂正((A->B)->A)->A)だった
記号処理はmaxima/mathematicaみたいなのでできるね