Godel's Theorems - Proceedings Of The First International Symposium

Inbunden, Engelska, 1993

1 393 kr

Tillfälligt slut

Beskrivning

The proceedings publishes research results on the following disciplines: philosophy and epistemology, history and philosophy of science, mathematics, logic and computer science, social sciences, linguistics, cognitive sciences, artificial intelligence, general systems and operational research.

Produktinformation

Utgivningsdatum:1993-02-01
Format:Inbunden
Språk:Engelska
Antal sidor:248
Förlag:World Scientific Publishing Co Pte Ltd
ISBN:9789810213060

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

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.