Verwandte Artikel zu Introduction to Metamathematics (Bibliotheca Mathematica)
Inhaltsangabe
Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Gadel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic, at least a turning point after which nothing was ever the same. Kleene was an important figure in logic, and lived a long full life of scholarship and teaching. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gade1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Gadel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagButterworth-Heinemann
- Erscheinungsdatum2000
- ISBN 10 0720421039
- ISBN 13 9780720421033
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten564
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 108,00
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Introduction to Metamathematics (Bibliotheca Mathematica)
Foto des Verkäufers
Introduction to Metamathematics (Bibliotheca Mathematica, vol.1)
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Hardcover. 550 p. Good condition. Reading pages are clean and without markings. Light signs of storage and use. Inscription on the last page. Otherwise a neat copy. 9780720421033 Sprache: Englisch Gewicht in Gramm: 1001. Bestandsnummer des Verkäufers 255814
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Introduction to Metamathematics (Bibliotheca Mathematica)
Anbieter: BooksElleven, Three Oaks, MI, USA
Verkäuferbewertung 4 von 5 Sternen
hardcover. Zustand: Good. 550 pgs. Nice cover. Clean pages throughout. Binding is secure. Bestandsnummer des Verkäufers BS1240908016
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Introduction to Metamathematics (Bibliotheca Mathematica)
Anbieter: Kisharon Langdon New Chapters, HARROW, Vereinigtes Königreich
Verkäuferbewertung 2 von 5 Sternen
NO DUST JACKET. Sold by the UK charity Kisharon Langdon; offering opportunities and support for people within the autism and learning disability community. Bestandsnummer des Verkäufers EDU BOX3 RS1/21052025
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Introduction to Metamathematics (Bibliotheca Mathematica)
Anbieter: Great Matter Books, Grand Rapids, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Near Fine. No Jacket. Near Fine condition hardcover book, no dust jacket as issued. Transfered to digital printing 2005. Very slight shelf wear to covers and spines. Few shallow indentations to spine, mostly near top edge. Very slight bumping to spine edges and cover corners. Minute smudging to top edge of text block. All books are individually inspected and described. Never X-Library unless specifically described as such. Bestandsnummer des Verkäufers 2501-9514
Anzahl: 1 verfügbar
Foto des Verkäufers
Introduction to Metamathematics
Verlag:
Elsevier Science & Technology, North Holland, 1980
ISBN 10: 0720421039
ISBN 13: 9780720421033
Neu
Hardcover
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Gadel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic, at least a turning point after which nothing was ever the same. Kleene was an important figure in logic, and lived a long full life of scholarship and teaching. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gade1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Gadel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education. Englisch. Bestandsnummer des Verkäufers 9780720421033
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Introduction to Metamathematics (Bibliotheca Mathematica)
Anbieter: mountain, GEORGETOWN, CO, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: Acceptable. hardcover book no dust jacket, light wear to cover and book edges has some light water damage. has some stains to book edges. Bestandsnummer des Verkäufers mon0000002037
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Introduction to Metamathematics, (Bibliotheca Mathematica)
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: New. Bestandsnummer des Verkäufers 6666-ELS-9780720421033
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Introduction to Metamathematics
Verlag:
Elsevier Science & Technology, North Holland, 1980
ISBN 10: 0720421039
ISBN 13: 9780720421033
Neu
Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Gadel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic, at least a turning point after which nothing was ever the same. Kleene was an important figure in logic, and lived a long full life of scholarship and teaching. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gade1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Gadel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education. Bestandsnummer des Verkäufers 9780720421033
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Introduction to Metamathematics
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 564 14:B&W 6 x 9 in or 229 x 152 mm Case Laminate on White w/Gloss Lam. Bestandsnummer des Verkäufers 8386090
Anzahl: 3 verfügbar
Beispielbild für diese ISBN
Introduction to Metamathematics
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Brand New. 11th repr. 1996 edition. 550 pages. 9.25x6.25x1.25 inches. In Stock. Bestandsnummer des Verkäufers __0720421039
Anzahl: 2 verfügbar