Reset Filters
Branch: 金山枫泾镇

Cover is for reference only

The universal computer : the road from Leibniz to Turing /

"The story begins with Leibniz in the 17th century and then focuses on Boole, Frege, Cantor Hilbert, and Gödel, before turning to Turing. Turing's analysis of algorithmic processes led to a single, all-purpose machine that could be programmed to carry out such processes--the computer. Davi...

Full description

Saved in:
Bibliographic Details
Main Authors: Davis, Martin, 1928- (Author)
Published: CRC Press,
Publisher Address: Boca Raton, FL :
Publication Dates: [2018]
Literature type: Book
Language: English
Edition: Third edition.
Subjects:
Electronic digital computers > History.
Mathematicians > Biography.
Summary: "The story begins with Leibniz in the 17th century and then focuses on Boole, Frege, Cantor Hilbert, and Gödel, before turning to Turing. Turing's analysis of algorithmic processes led to a single, all-purpose machine that could be programmed to carry out such processes--the computer. Davis describes how this incredible group, with lives as extraordinary as their accomplishments, grappled with logical reasoning and its mechanization. By investigating their achievements and failures, he shows how these pioneers paved the way for modern computing. Bringing the material up to date, this revised edition features a much expanded version of the discussion of artificial intelligence and current technology, and the way it confirms the significance of Turing's pencil-and-paper universal machine with infinite memory and unlimited time for computations. More is written about the events at Princeton involving Alonzo Church (who was the doctoral advisor of Davis as well as Turing), Stephen Kleene, and Kurt Gödel that led Turing to come there. Finally, further exploration of the relationship between Kronecker and Cantor can also be found" -- From the publisher.
Carrier Form: xv, 222 pages : illustrations, forms ; 24 cm
Bibliography: Includes bibliographical references (pages 209-216) and index.
ISBN: 9780815384021 (hardback) :
0815384025 (hardback)
Index Number: QA76
CLC: TP3-09
Call Number: TP3-09/D263/3rd ed.
Contents: Leibniz's dream -- Boole turns logic into algebra -- Frege : from breakthrough to despair -- Cantor : detour through infinity -- Hilbert to the rescue -- Godel upsets the applecart -- Turing conceives of the all-purpose computer -- Making the first universal computers -- Beyond Leibniz's dream.

Related Book Recommendations