The Road from Leibniz to Turing
Author: Martin Davis
Publisher: CRC Press
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.
Essays on German Romantic Philosophy
Author: Dalia Nassar
Publisher: Oxford University Press (UK)
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.
Developments from Turing's Ideas in Logic
Author: Rod Downey
Publisher: Cambridge University Press
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.
The secrets of Bletchley Park's code-breaking computers
Author: B. Jack Copeland
Publisher: OUP Oxford
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.
Author: Andrew Hodges
Publisher: Springer Verlag
Category: Biography & Autobiography
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.
Publication of the Association of College and Research Libraries, a Division of the American Library Association
Category: Academic libraries
Category: Logic, Symbolic and mathematical
Category: Discoveries in science