Verwandte Artikel zu Computability: Computable Functions, Logic, and the...
Inhaltsangabe
The classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century, while presenting the basic ideas of whole number, function, proof, and real number. Part II starts with readings from Turing and Post leading to the formal theory of recursive functions. Part III presents sufficient formal logic to give a full development of Gödel's incompleteness theorems. Part IV considers the significance of the technical work with a discussion of Church's Thesis and readings on the foundations of mathematics. This new edition contains the timeline "Computability and Undecidability" as well as the essay "On mathematics".
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
The classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century, while presenting the basic ideas of whole number, function, proof, and real number. Part II starts with readings from Turing and Post leading to the formal theory of recursive functions. Part III presents sufficient formal logic to give a full development of Gödel's incompleteness theorems. Part IV considers the significance of the technical work with a discussion of Church's Thesis and readings on the foundations of mathematics. This new edition contains the timeline "Computability and Undecidability" as well as the essay "On mathematics".
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 50,78
EUR 4,57 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Computability: Computable Functions, Logic, and the...
Beispielbild für diese ISBN
Computability Computable Functions, Logic, and the Foundations of Mathematics
Print-on-DemandAnbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
HRD. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L1-9780981550725
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780981550725_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. KlappentextrnrnThe classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of math. Bestandsnummer des Verkäufers 5987285
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Computability Computable Functions, Logic, and the Foundations of Mathematics
Print-on-DemandAnbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
HRD. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L1-9780981550725
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Computability : Computable Functions, Logic, and the Foundations of Mathematics
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 5688185-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Computability
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Hardback. Zustand: New. Bestandsnummer des Verkäufers LU-9780981550725
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Print-on-DemandAnbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 790. Bestandsnummer des Verkäufers C9780981550725
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Computability : Computable Functions, Logic, and the Foundations of Mathematics
Verlag:
Advanced Reasoning Forum, 2008
ISBN 10: 098155072X
ISBN 13: 9780981550725
Gebraucht
Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 5688185
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Computability : Computable Functions, Logic, and the Foundations of Mathematics
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 5688185-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Computability : Computable Functions, Logic, and the Foundations of Mathematics
Print-on-DemandAnbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - The classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century, while presenting the basic ideas of whole number, function, proof, and real number. Part II starts with readings from Turing and Post leading to the formal theory of recursive functions. Part III presents sufficient formal logic to give a full development of Gödel's incompleteness theorems. Part IV considers the significance of the technical work with a discussion of Church's Thesis and readings on the foundations of mathematics. This new edition contains the timeline 'Computability and Undecidability' as well as the essay 'On mathematics'. Bestandsnummer des Verkäufers 9780981550725
Anzahl: 1 verfügbar