[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
138: デフォルトの名無しさん [sage] 2024/03/27(水) 21:56:27.68 ID:sRZ89+IF(2/2) AAS
ラッセルは作る人というより脆弱性を発見する人のように見える
155: デフォルトの名無しさん [sage] 2024/03/31(日) 06:02:59.68 ID:954vZkOe(1/3) AAS
↑
数学が何がわかってないやつの典型
虚数もあるとかないとか騒いでるタイプ
159: デフォルトの名無しさん [sage] 2024/03/31(日) 12:44:19.68 ID:va6HO9e1(1) AAS
「プログラム技術」板で「数学」がどうのこうの語ってるのがもう頭悪いというか頭おかしい
プログラムも数学もできない、掲示板の使い分けもできない知的障害
248: デフォルトの名無しさん [sage] 2024/04/12(金) 17:20:27.68 ID:n/WEiCkF(3/5) AAS
命題 + 証明
↑↓
型 + プログラム
これはカリーハワード同型対応として知られている
このセットで数学といえるかは俺にはわからない
計算だけが数学ではなくとも計算以外の部分も大体は計算に埋め込めるのではないか？
332: デフォルトの名無しさん [] 2024/04/15(月) 21:29:20.68 ID:vvdCRtkm(1) AAS
アホすぎる
355: デフォルトの名無しさん [sage] 2024/04/16(火) 21:12:18.68 ID:odkgr9I4(1) AAS
カリー・ハワードって別にそれで何かブレイクスルーが起こったわけでもない
無意味に持ち上げすぎだろ
359: デフォルトの名無しさん [] 2024/04/16(火) 21:17:45.68 ID:DMBaPuV2(1) AAS
かわいそうに・・・
514: デフォルトの名無しさん [] 2024/05/05(日) 00:09:27.68 ID:BDRFhWHf(4/10) AAS
なぜ、針の先端
のようなものから
セメント流しこむのか？
本当にそれで合ってる？
527: デフォルトの名無しさん [sage] 2024/05/06(月) 09:14:01.68 ID:ZgM9kjEK(1) AAS
トリビアルさんがsageを覚えたようだ
これが柔軟な考え方を可能にする儂らに
663: デフォルトの名無しさん [] 2024/11/18(月) 13:10:32.68 ID:petr+Idh(1/3) AAS
>>661661(2): デフォルトの名無しさん [sage] 2024/11/18(月) 12:24:33.46 ID:JmFxaZ5G(1) AAS
>>659
定義を否定するのはさすがに数学者の姿勢として間違っているかと。
数学なんて定義が違えば結果が変わるんだから、定義すらできないなら議論する以前の状態。
擬似問題だらけになって議論なんてできないわな。
微積分もフーリエ変換も超関数も厳密な定義の無いところから始まったんだが
751(1): デフォルトの名無しさん [sage] 2024/12/11(水) 16:48:22.68 ID:CTc5DRpT(1) AAS
証明の正確さを検証するためのツールなのに、わかり切った証明（項の交換など）を明示的に書かなければいけない
なんつーか、退化してるよな
768(1): デフォルトの名無しさん [sage] 2024/12/13(金) 00:47:18.68 ID:HhuErboB(1) AAS
Ωをプログラムの表現しうる全データの集合
fを関数とするとf∈Ω
しかし、ΩからΩへの関数の集合の濃度はΩよりも大きいから矛盾
どういうことだ
782: デフォルトの名無しさん [sage] 2024/12/27(金) 07:49:18.68 ID:hlvzD05r(1/2) AAS
>>781781(1): デフォルトの名無しさん [sage] 2024/12/27(金) 07:32:04.93 ID:dJ9yt+4u(1) AAS
不動点定理は不動点を持たない関数(特に否定演算)がある領域では成り立たないよね。
不動点定理を前提にするのは「コンピュータの扱いやすい領域のみ扱う」と言っているようなものかと。
それは不動点定理ではない
991: デフォルトの名無しさん [sage] 2025/02/19(水) 15:52:59.68 ID:8rlYEoii(1/7) AAS
>>990>プログラミング言語に欠陥がある
という話がどこから出てきたのだろう？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.054s