[過去ログ] 「数学」をプログラミングするには (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
162
(1): デフォルトの名無しさん [sage] 2024/03/31(日) 16:55:10.67 ID:dM7Inut1(2/5) AAS
馬鹿参上
>数学ってZF(C)公理系を絶対ルールとするパズルゲームでしかないから
195: デフォルトの名無しさん [] 2024/04/02(火) 00:37:53.67 ID:7CSC2sWO(1/2) AAS
>>162 >>164
164(1): デフォルトの名無しさん [sage] 2024/03/31(日) 17:23:31.92 ID:dM7Inut1(3/5) AAS
コンピュータは0と1だけで遊ぶゲームwww
その場合はコンピュータじゃなくて理論計算機科学とかだな、比較対象がおかしい。
数学史とか数学基礎論とか少しでもなんか読んでみ、今の数学はそういう思想だから
その調子じゃヒルベルトプログラムもブルバキも何にも知らないだろ
>>180
180(2): デフォルトの名無しさん [sage] 2024/04/01(月) 07:29:40.50 ID:ZaHsxqNm(1) AAS
ゲーデルの不完全性定理とかプログラミングに関係ないぞ
いやあるだろ…停止性問題とか知らないの…?
こんなん数学科でもなくてもCS学科でもなくても
趣味でWikipedia読んでれば知れる雑学だぞ
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.057s