Godel and Computations

21st Annual IEEE Conference on Computational Complexity (CCC'06) Pub Date : 2006-07-16 DOI:10.1109/CCC.2006.21

P. Pudlák

引用次数: 1

Abstract

Godel was born 100 years ago in this country. It is a good opportunity to commemorate this anniversary by a lecture about his influence on computational complexity. He also made contributions on computability, length of proofs, and diagonalization

查看原文本刊更多论文

哥德尔与计算

哥德尔100年前出生在这个国家。这是一个很好的机会，通过演讲来纪念他对计算复杂性的影响。他还在可计算性、证明长度和对角化方面做出了贡献

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

21st Annual IEEE Conference on Computational Complexity (CCC'06)

自引率

0.00%

发文量