Auf ein Miniaturbild klicken, um zu Google Books zu gelangen.
Lädt ... The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functionsvon Martin Davis
Lädt ...
Melde dich bei LibraryThing an um herauszufinden, ob du dieses Buch mögen würdest. Keine aktuelle Diskussion zu diesem Buch. Keine Rezensionen keine Rezensionen | Rezension hinzufügen
An anthology of fundamental papers on undecidability and unsolvability, this classic reference opens with Gödel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Gödel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. 1965 edition. Keine Bibliotheksbeschreibungen gefunden. |
Aktuelle DiskussionenKeineBeliebte Umschlagbilder
Google Books — Lädt ... GenresMelvil Decimal System (DDC)511.3Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicKlassifikation der Library of Congress [LCC] (USA)BewertungDurchschnitt:
Bist das du?Werde ein LibraryThing-Autor. |