Computational complexity and mathematical proofs

被引：0
|
作者：
Hartmanis, J [1 ]
机构：
[1] Cornell Univ, Ithaca, NY 14853 USA
来源：
INFORMATICS - 10 YEARS BACK, 10 YEARS AHEAD | 2001年 / 2000卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper discusses how the major computational complexity classes, P, NP and PSPACE, capture different computational properties of mathematical proofs and reveal new quantitative aspects of mathematics.
引用
收藏
页码：251 / 256
页数：6
相关论文
共 50 条
12345