[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
34: デフォルトの名無しさん [] 2024/03/19(火) 16:58:20.60 ID:WY0TXEXb(1/3) AAS
>>3333(2): デフォルトの名無しさん [] 2024/03/19(火) 16:20:03.06 ID:Q+qUW8xc(1) AAS
leanとかいうソフトで学部レベルの定理の証明をすべて書くとかいうプロジェクトがあるそうですが、そういう証明を見ると勉強する側として勉強になりますか？
勉強にはなるんじゃない？
228: デフォルトの名無しさん [] 2024/04/11(木) 19:06:27.60 ID:SHJQNyIp(1) AAS
不完全性定理は公理的集合論から証明できないならPythonとかJavaには欠陥があるってことじゃん
てことは今後はnginxとPostgreSQLが無きゃ食っていけなくなる？SQLは三値だから完全だろ？
314: デフォルトの名無しさん [sage] 2024/04/15(月) 17:36:31.60 ID:scEUff9F(8/17) AAS
上から目線で語ったと思ったら実は下だった件ｗ
415(1): デフォルトの名無しさん [sage] 2024/04/24(水) 00:45:42.60 ID:qYUcXmw2(1/5) AAS
>>411網羅できない理由の方が多いのに何故できる方に賭けてしまうのかね
カリー・ハワード対応もそうだが
497: デフォルトの名無しさん [sage] 2024/05/03(金) 15:23:58.60 ID:VWU4jyai(3/6) AAS
対角拳
673: デフォルトの名無しさん [] 2024/11/18(月) 16:50:14.60 ID:xbnEkxri(1) AAS
数学と実装は独立
プログラミング言語処理系の数値型が近似値だから、実数や極限を扱えないなどという馬鹿な話は無い
それは、CPUが整数値しか扱えないからプログラミングで文字列を扱えないと言ってるのと同じ
720: デフォルトの名無しさん [sage] 2024/12/04(水) 21:54:53.60 ID:mVwJzDam(1) AAS
つ chatGPT
761(1): デフォルトの名無しさん [sage] 2024/12/12(木) 15:59:32.60 ID:rgUDNRxT(2/6) AAS
>>654654(5): デフォルトの名無しさん [] 2024/11/18(月) 02:18:05.70 ID:cmnYUiAb(2/8) AAS
というか、私の主張は
数学
lim_{k to 100} sum_{k=1}^{n} 2^(-k) -- ちゃんと近似値が出る。
プログラミング
sum [2^^(-n) | n <- [0..100]] = 2 -- 近似値ではなく、極限値の２になって（この時点での）正確な値ではない。
プログラミングはイプシロン-デルタ論法が（一定の精度までしか）出来ない。
それでも実用上問題は無いが。
他にも無限次元の空間とかも扱えない。
集合の添え字集合も可算集合とは限らない。
実数や複素数も有り得る。
リストや配列のインデックスが実数や複素数とかプログラミングじゃ出来ない。
少数の表現を知らない素人
771: デフォルトの名無しさん [] 2024/12/13(金) 13:20:29.60 ID:ouGUX1+B(1) AAS
ゲバ本とゲバ棒を聴き間違えたことはある
988: デフォルトの名無しさん [] 2025/02/19(水) 10:15:37.60 ID:SAhYOuHj(1) AAS
数学やらなければ苦痛に感じないとでも言うのかね
苦痛を悦びに感じるようになればいいと思う
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s