[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
182(2): デフォルトの名無しさん [sage] 2024/04/01(月) 10:16:20.76 ID:BJXCW8/H(1/2) AAS
計算機科学的には背理法はプログラミングでの継続に相当するものだと判明している
プログラム=証明 型=命題という対応がある
命題としてはあるが証明ができない型としてa -> b -> a -> aがある
224: デフォルトの名無しさん [sage] 2024/04/08(月) 10:39:11.76 ID:x8JElEGO(1) AAS
ポエム
499: デフォルトの名無しさん [sage] 2024/05/03(金) 16:51:49.76 ID:VWU4jyai(4/6) AAS
ボウフラを食べる雑魚
503(1): デフォルトの名無しさん [sage] 2024/05/03(金) 20:26:19.76 ID:x0ve7rFX(3/4) AAS
モンスターの位数は10^52ぐらいだから256ビット(10^77ぐらい)あれば表現できる
535: デフォルトの名無しさん [sage] 2024/05/06(月) 21:50:56.76 ID:2UIG7pZN(1) AAS
>>529っ ネーターの定理
574: デフォルトの名無しさん [sage] 2024/10/20(日) 21:09:32.76 ID:hJ3wIO0s(2/2) AAS
>>571571(1): デフォルトの名無しさん [] 2024/10/20(日) 20:30:20.00 ID:Rpp5gjxc(1) AAS
無理かな。
決定論的な数学（微分積分見たいな予測の方の数学）のラプラスの悪魔（すべての現在の状態が分かればすべてを予測可能）と
確率論的な数学のLLMの引数を無限にすれば万能関数になるってのは多分、別々の道を進んだ先が同じになるパターン。
現実的には無理だけど、その極限で全く別に見えた数学の分野が交差する瞬間と考えるとちょっと感動。
それたんにNNのこと言ってだけで
language modelでやる説明になってない
611: デフォルトの名無しさん [sage] 2024/11/12(火) 21:00:48.76 ID:CKJ1cusC(5/7) AAS
>>609お前は>>596596(5): デフォルトの名無しさん [sage] 2024/11/12(火) 04:10:14.19 ID:15KCzjek(2/5) AAS
x^2 = 2をみたす正の実数xは一意的に存在する
なら、それを√2というシンボルで扱えるようにすべきだ
計算は必要なときにだけすればいい
x = 1.4142云々という数値にしなければ扱えないのは不要な制約
これは誤差があるとかそういう問題ではない
人間の思考をコンピュータの都合に合わせようとしているのが問題
か？
652(1): デフォルトの名無しさん [] 2024/11/18(月) 01:35:40.76 ID:XvHL8b4e(1) AAS
>>651何を言ってんだお前は
854: デフォルトの名無しさん [sage] 2025/01/16(木) 21:51:56.76 ID:zFtBKiS0(1) AAS
処理系がcall/ccをサポートすることは、直観主義論理に背理法を加えることに相当する
880: デフォルトの名無しさん [sage] 2025/01/19(日) 12:35:56.76 ID:fNMlPpUq(1) AAS
Felleisen 30年研究して「プログラミングには型が必要なことがわかった」←これ好き
946: デフォルトの名無しさん [sage] 2025/02/06(木) 21:00:15.76 ID:75UI+75Y(1) AAS
コンパイラを書け
978(1): デフォルトの名無しさん [sage] 2025/02/15(土) 20:08:47.76 ID:HVOvloyf(1) AAS
>>975自分で考えろ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.060s