[過去ログ] 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