Godel's Theorems - Proceedings Of The First International Symposium

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.