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

[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

29(1): 2024/03/19(火)12:34:54.32 ID:pUZ6M7m/(1) AAS
動的型付けの証明支援系ってのは何をしてるんだ？

125: 2024/03/25(月)21:23:38.32 ID:DOdK3gDR(1) AAS
数学をプログラミングするには、プログラマが数学の必要があるのでは？

173(1): 2024/03/31(日)21:07:09.32 ID:zVzgI3KY(1) AAS
構成論理でしかない帰納法は逃げ
背理法をプログラミングできてこそ真の数学プログラマ

254: 2024/04/12(金)17:56:16.32 ID:n/WEiCkF(5/5) AAS
構成的論理ならきいたことはあるが構成論理ってなんだよ

304: 2024/04/15(月)11:21:19.32 ID:scEUff9F(3/17) AAS
数学系のためのLean勉強会
外部ﾘﾝｸ:haruhisa-enomoto.github.io

444: 2024/04/25(木)11:27:25.32 ID:JREeyAkZ(1/2) AAS
効いてるな

735: 2024/12/05(木)20:22:08.32 ID:wt4vQ/2p(1) AAS
Haskell厨かな
妄想も大概に