DocumentCode
2345618
Title
Godel and Computations
Author
Pudlak, Pavel
fYear
0
fDate
0-0 0
Firstpage
3
Lastpage
5
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
Keywords
computability; computational complexity; Kurt Godel; computability; computational complexity; diagonalization; length of proofs; Calculus; Cities and towns; Computational complexity; Equations; Logic; Mathematics; Physics; Polynomials; Set theory; Terminology;
fLanguage
English
Publisher
ieee
Conference_Titel
Computational Complexity, 2006. CCC 2006. Twenty-First Annual IEEE Conference on
Conference_Location
Prague
ISSN
1093-0159
Print_ISBN
0-7695-2596-2
Type
conf
DOI
10.1109/CCC.2006.21
Filename
1663721
Link To Document