Turing's Legacy

Developments from Turing's Ideas in Logic

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing
Cover of the book Turing's Legacy by , Cambridge University Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9781139905145
Publisher: Cambridge University Press Publication: May 1, 2014
Imprint: Cambridge University Press Language: English
Author:
ISBN: 9781139905145
Publisher: Cambridge University Press
Publication: May 1, 2014
Imprint: Cambridge University Press
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Cambridge University Press

Cover of the book Principles of Digital Communication by
Cover of the book Managing International Business in China by
Cover of the book Introduction to Computable General Equilibrium Models by
Cover of the book The Epistemology of Indicative Conditionals by
Cover of the book Small Arms Survey 2013 by
Cover of the book Complicity and the Law of State Responsibility by
Cover of the book Reconsidering Law and Policy Debates by
Cover of the book The Quantum Theory of Fields: Volume 1, Foundations by
Cover of the book Ethnic Minority Migrants in Britain and France by
Cover of the book British Women Surgeons and their Patients, 1860–1918 by
Cover of the book Direct Action, Deliberation, and Diffusion by
Cover of the book Experience and Teleology in Ancient Historiography by
Cover of the book Research Methods for Engineers by
Cover of the book Guano and the Opening of the Pacific World by
Cover of the book The International Law of the Sea by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy