374912238

The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions / edited by Martin Davis

Corr. republ.

Englisch

Mineola, NY : Dover Publication, 2004 (Original: 1965)

413 S.

Originally published: Hewlett, N.Y. : Raven Press, 1965

Includes bibliographical references and index

0401

0-486-43228-9 pbk.

*Gödel's theorem ; Unsolvability (Mathematical logic) ; Recursive functions ; Turing machines ; Computable functions

Klassifikation der Library of Congress: QA9.65

Dewey Dezimal-Klassifikation: 511.3;

Mathematics Subject Classification: *03-03

Mathematics Subject Classification: 03-06

Mathematics Subject Classification: 03D10

Mathematics Subject Classification: 03D20

Mathematics Subject Classification: 03D35

Mathematics Subject Classification: 68Q05

http://www.loc.gov/catdir/enhancements/fy0615/2003067180-d.html [Publisher description]

https://zbmath.org/?q=an:1099.03002 [Zentralblatt MATH]

Bereichsbibliothek Golm, Haus 18 --> Wegweiser

Bereichsbibliothek Golm, Haus 18 --> Wegweiser

Bereichsbibliothek Golm, Haus 18 --> Wegweiser