[過去ログ] Inter-universal geometry とABC 予想57
(1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
838(1): 06/10(火)23:49 AAS
>>835
計算量理論は数学じゃなくて物理な?
数学なら現実世界と無関係な公理を幾らでも採用できるが
計算量理論はそうじゃない
現実世界の制約を考える科学
850(2): 06/11(水)19:41 ID:fE19BSn6(4/4) AAS
同じ人っていうかsetaさんですね
>>847 理論計算機科学の厳密な部分は数学の一分野です
そもそも「理論計算機科学と*現代数学*上の」って書いてありますよね
>>841で引用したaaronsonも
外部リンク[pdf]:www.scottaaronson.com
の1.2.4で「P!=NP」は数学でないという主張に強く反論しています
それより >>838 の
省3
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.031s