[過去ﾛｸﾞ] Inter-universal geometry とABC 予想57 
 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

841(1): 06/11(水)08:25 AAS
>>839

計算量理論の二面性を示す主要文献を、正確な書誌情報と URL（スキームなし）および対応箇所の英語引用とともに示します。
1. 形式科学としての基盤
• Stephen A. Cook. The Complexity of Theorem-Proving Procedures. Proceedings of the Third Annual ACM Symposium on Theory of Computing, May 1971, pp. 151–158. URL:
www.cs.toronto.edu/~sacook/homepage/1971.pdf
“Theorem 1. If a set S of strings is accepted by some nondeterministic Turing machine within polynomial time, then S is P-reducible to {DNF tautologies}.”
• Richard M. Karp. Reducibility among Combinatorial Problems. In R. E. Miller & J. W. Thatcher (Eds.), Complexity of Computer Computations, Plenum Press, New York & London, 1972, pp. 85–103. URL:
省16

---

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.033s