Title :
Godel and Computations
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;
Conference_Titel :
Computational Complexity, 2006. CCC 2006. Twenty-First Annual IEEE Conference on
Conference_Location :
Prague
Print_ISBN :
0-7695-2596-2
DOI :
10.1109/CCC.2006.21
