First International Symposium on Gödel's Theorems : Paris, 27-29 May 1991

Prelude to recursion theory: the Godel-Herbrand correspondence, J.W. Dawson, Jr did Godel prove that we are not machines?, S. Krajewski pre-Godelian, post-Godelian and non-Godelian philosophy of mathematics, V.A. Bazhanov from Godel's theorem to philosophy, M. Lubanski Godel, Cantor and modern nonlinear dynamics, M.S. El Naschie the epistemological and physical importance of Godel's theorems, E. Giannetto Godel's critique of logical syntax, T. Oberdan Godel's unpublished objections against the linguistic accounts of mathematics, F.A. Rodriguez-Consuegra some Godel style results concerning natural languages, R. Zuber Godel's incompleteness theorem in particular reference to artificial intelligence, D. Singh.