The Universal Computer

The Road from Leibniz to Turing

Author: Martin Davis

Publisher: CRC Press

ISBN: 1466505206

Category: Computers

Page: 240

View: 2802

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age – the logicians. 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, in this revised edition Davis discusses the success of the IBM Watson on Jeopardy, reorganizes the information on incompleteness, and adds information on Konrad Zuse. A distinguished prize-winning logician, Martin Davis has had a career of more than six decades devoted to the important interface between logic and computer science. His expertise, combined with his genuine love of the subject and excellent storytelling, make him the perfect person to tell this story.

The Relevance of Romanticism

Essays on German Romantic Philosophy

Author: Dalia Nassar

Publisher: Oxford University Press (UK)

ISBN: 019997621X

Category: History

Page: 344

View: 4639

The volume includes essays by a number of preeminent international scholars and philosophers - Karl Ameriks, Frederick Beiser, Richard Eldridge, Michael Forster, Manfred Frank, Jane Kneller, and Paul Redding - who discuss the nature of philosophical romanticism and its potential to address contemporary questions and concerns. Through contributions from established and emerging philosophers, discussing key romantic themes and concerns, the volume highlights the diversity both within romantic thought and its contemporary reception.

Turing's Legacy

Developments from Turing's Ideas in Logic

Author: Rod Downey

Publisher: Cambridge University Press

ISBN: 1139916831

Category: Mathematics

Page: N.A

View: 5609

Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern mathematics and this book traces such developments by bringing together essays by leading experts in logic, artificial intelligence, computability theory and related areas. Together, they give insight into this fascinating man, the development of modern logic, and the history of ideas. The articles within cover a diverse selection of topics, such as the development of formal proof, differing views on the Church–Turing thesis, the development of combinatorial group theory, and Turing's work on randomness which foresaw the ideas of algorithmic randomness that would emerge many years later.

Colossus

The secrets of Bletchley Park's code-breaking computers

Author: B. Jack Copeland

Publisher: OUP Oxford

ISBN: 9780191578212

Category: Computers

Page: 480

View: 9878

At last - the secrets of Bletchley Park's powerful codebreaking computers. This is a history of Colossus, the world's first fully-functioning electronic digital computer. Colossus was used during the Second World War at the Government Code and Cypher School at Bletchley Park, where it played an invaluable role cracking enemy codes. Until very recently, much about the Colossus machine was shrouded in secrecy, largely because the codes that were employed remained in use by the British security services until a short time ago. This book only became possible due to the declassification in the US of wartime documents. With an introductory essay on cryptography and the history of code-breaking by Simon Singh, this book reveals the workings of Colossus and the extraordinary staff at Bletchley Park through personal accounts by those who lived and worked with the computer. Among them is the testimony of Thomas Flowers, who was the architect of Colossus and whose personal account, written shortly before he died, is published here for the first time. Other essays consider the historical importance of this remarkable machine, and its impact on the generations of computing technology that followed.

Alan Turing, Enigma

Author: Andrew Hodges

Publisher: Springer Verlag

ISBN: 9783211826270

Category: Biography & Autobiography

Page: 662

View: 8143

Alan Turing, Enigma ist die Biographie des legendAren britischen Mathematikers, Logikers, Kryptoanalytikers und Computerkonstrukteurs Alan Mathison Turing (1912-1954). Turing war einer der bedeutendsten Mathematiker dieses Jahrhunderts und eine hAchst exzentrische PersAnlichkeit. Er gilt seit seiner 1937 erschienenen Arbeit "On Computable Numbers," in der er das Prinzip des abstrakten Universalrechners entwickelte, als der Erfinder des Computers. Er legte auch die Grundlagen fA1/4r das heute "KA1/4nstliche Intelligenz" genannte Forschungsgebiet. Turings zentrale Frage "Kann eine Maschine denken?" war das Motiv seiner Arbeit und wird die SchlA1/4sselfrage des Umgangs mit dem Computer werden. Die bis 1975 geheimgehaltene TAtigkeit Turings fA1/4r den britischen Geheimdienst, die zur EntschlA1/4sselung des deutschen Funkverkehrs fA1/4hrte, trug entscheidend zum Verlauf und Ausgang des Zweiten Weltkriegs bei.

Choice

Publication of the Association of College and Research Libraries, a Division of the American Library Association

Author: N.A

Publisher: N.A

ISBN: N.A

Category: Academic libraries

Page: N.A

View: 5118

New Scientist

Author: N.A

Publisher: N.A

ISBN: N.A

Category: Science

Page: N.A

View: 5130

Magill's Science Annual

Author: N.A

Publisher: N.A

ISBN: N.A

Category: Discoveries in science

Page: N.A

View: 7613