论文信息 - Godel and Computations

Godel and Computations

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

Pavel Pudlák

[1] K. Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .

[2] Hofreiter. Collected works I , 1936 .

[3] Mariko Yasugi,et al. Memoirs of a Proof Theorist: Gödel and Other Logicians , 2003 .

[4] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.

[5] C. Smorynski. Logical Number Theory I , 1991 .

[6] Richard Kaye,et al. Review of Craig Smoryński, Logical Number Theory I, an Introduction , 2000 .

[7] Stefan Bauer-Mengelberg,et al. Über die Länge yon Beweisen , 1990 .