Alan Turing's Automatic Computing Engine : The Master Codebreaker's Struggle to build the Modern Computer

Alan Turing's Automatic Computing Engine : The Master Codebreaker's Struggle to build the Modern Computer
Author: B. Jack Copeland
Publisher: OUP Oxford
Total Pages: 598
Release: 2005-04-14
Genre: Biography & Autobiography
ISBN: 9780191524103

The mathematical genius Alan Turing (1912-1954) was one of the greatest scientists and thinkers of the 20th century. Now well known for his crucial wartime role in breaking the ENIGMA code, he was the first to conceive of the fundamental principle of the modern computer-the idea of controlling a computing machine's operations by means of a program of coded instructions, stored in the machine's 'memory'. In 1945 Turing drew up his revolutionary design for an electronic computing machine-his Automatic Computing Engine ('ACE'). A pilot model of the ACE ran its first program in 1950 and the production version, the 'DEUCE', went on to become a cornerstone of the fledgling British computer industry. The first 'personal' computer was based on Turing's ACE. Alan Turing's Automatic Computing Engine describes Turing's struggle to build the modern computer. The first detailed history of Turing's contributions to computer science, this text is essential reading for anyone interested in the history of the computer and the history of mathematics. It contains first hand accounts by Turing and by the pioneers of computing who worked with him. As well as relating the story of the invention of the computer, the book clearly describes the hardware and software of the ACE-including the very first computer programs. The book is intended to be accessible to everyone with an interest in computing, and contains numerous diagrams and illustrations as well as original photographs. The book contains chapters describing Turing's path-breaking research in the fields of Artificial Intelligence (AI) and Artificial Life (A-Life). The book has an extensive system of hyperlinks to The Turing Archive for the History of Computing, an on-line library of digital facsimiles of typewritten documents by Turing and the other scientists who pioneered the electronic computer.

Cooperative Work and Coordinative Practices

Cooperative Work and Coordinative Practices
Author: Kjeld Schmidt
Publisher: Springer Science & Business Media
Total Pages: 471
Release: 2011-01-27
Genre: Computers
ISBN: 1848000685

Information technology has been used in organisational settings and for organisational purposes such as accounting, for a half century, but IT is now increasingly being used for the purposes of mediating and regulating complex activities in which multiple professional users are involved, such as in factories, hospitals, architectural offices, and so on. The economic importance of such coordination systems is enormous but their design often inadequate. The problem is that our understanding of the coordinative practices for which these systems are developed is deficient, leaving systems developers and software engineers to base their designs on commonsensical requirements analyses. The research reflected in this book addresses these very problems. It is a collection of articles which establish a conceptual foundation for the research area of Computer-Supported Cooperative Work.

Kurt Gödel and the Foundations of Mathematics

Kurt Gödel and the Foundations of Mathematics
Author: Matthias Baaz
Publisher: Cambridge University Press
Total Pages: 541
Release: 2011-06-06
Genre: Mathematics
ISBN: 1139498436

This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy and other disciplines for future generations of researchers.

The Oxford Handbook of Philosophy of Cognitive Science

The Oxford Handbook of Philosophy of Cognitive Science
Author: Eric Margolis
Publisher: Oxford University Press
Total Pages:
Release: 2012-01-10
Genre: Science
ISBN: 0199921458

The philosophy of cognitive science is concerned with fundamental philosophical and theoretical questions connected to the sciences of the mind. How does the brain give rise to conscious experience? Does speaking a language change how we think? Is a genuinely intelligent computer possible? What features of the mind are innate? Advances in cognitive science have given philosophers important tools for addressing these sorts of questions; and cognitive scientists have, in turn, found themselves drawing upon insights from philosophy-insights that have often taken their research in novel directions. The Oxford Handbook of Philosophy of Cognitive Science brings together twenty-one newly commissioned chapters by leading researchers in this rich and fast-growing area of philosophy. It is an indispensible resource for anyone who seeks to understand the implications of cognitive science for philosophy, and the role of philosophy within cognitive science.

Colossus

Colossus
Author: B. Jack Copeland
Publisher: OUP Oxford
Total Pages: 495
Release: 2010-03-18
Genre: Computers
ISBN: 0191573663

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.

Philosophical Explorations of the Legacy of Alan Turing

Philosophical Explorations of the Legacy of Alan Turing
Author: Juliet Floyd
Publisher: Springer
Total Pages: 369
Release: 2017-05-30
Genre: Science
ISBN: 3319532804

Chapters “Turing and Free Will: A New Take on an Old Debate” and “Turing and the History of Computer Music” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Alan Turing's Electronic Brain

Alan Turing's Electronic Brain
Author: others
Publisher: OUP Oxford
Total Pages: 576
Release: 2012-05-24
Genre: Mathematics
ISBN: 0191625868

The mathematical genius Alan Turing, now well known for his crucial wartime role in breaking the ENIGMA code, was the first to conceive of the fundamental principle of the modern computer-the idea of controlling a computing machine's operations by means of a program of coded instructions, stored in the machine's 'memory'. In 1945 Turing drew up his revolutionary design for an electronic computing machine-his Automatic Computing Engine ('ACE'). A pilot model of the ACE ran its first program in 1950 and the production version, the 'DEUCE', went on to become a cornerstone of the fledgling British computer industry. The first 'personal' computer was based on Turing's ACE. Alan Turing's Automatic Computing Engine describes Turing's struggle to build the modern computer. The first detailed history of Turing's contributions to computer science, this text is essential reading for anyone interested in the history of the computer and the history of mathematics. It contains first hand accounts by Turing and by the pioneers of computing who worked with him. As well as relating the story of the invention of the computer, the book clearly describes the hardware and software of the ACE-including the very first computer programs. The book is intended to be accessible to everyone with an interest in computing, and contains numerous diagrams and illustrations as well as original photographs. The book contains chapters describing Turing's path-breaking research in the fields of Artificial Intelligence (AI) and Artificial Life (A-Life). The book has an extensive system of hyperlinks to The Turing Archive for the History of Computing, an on-line library of digital facsimiles of typewritten documents by Turing and the other scientists who pioneered the electronic computer.

A New History of Modern Computing

A New History of Modern Computing
Author: Thomas Haigh
Publisher: MIT Press
Total Pages: 545
Release: 2021-09-14
Genre: Technology & Engineering
ISBN: 0262366479

How the computer became universal. Over the past fifty years, the computer has been transformed from a hulking scientific supertool and data processing workhorse, remote from the experiences of ordinary people, to a diverse family of devices that billions rely on to play games, shop, stream music and movies, communicate, and count their steps. In A New History of Modern Computing, Thomas Haigh and Paul Ceruzzi trace these changes. A comprehensive reimagining of Ceruzzi's A History of Modern Computing, this new volume uses each chapter to recount one such transformation, describing how a particular community of users and producers remade the computer into something new. Haigh and Ceruzzi ground their accounts of these computing revolutions in the longer and deeper history of computing technology. They begin with the story of the 1945 ENIAC computer, which introduced the vocabulary of "programs" and "programming," and proceed through email, pocket calculators, personal computers, the World Wide Web, videogames, smart phones, and our current world of computers everywhere--in phones, cars, appliances, watches, and more. Finally, they consider the Tesla Model S as an object that simultaneously embodies many strands of computing.

The Turing Guide

The Turing Guide
Author: Jack Copeland
Publisher: Oxford University Press
Total Pages: 563
Release: 2017-02-16
Genre: Science
ISBN: 0191065005

Alan Turing has long proved a subject of fascination, but following the centenary of his birth in 2012, the code-breaker, computer pioneer, mathematician (and much more) has become even more celebrated with much media coverage, and several meetings, conferences and books raising public awareness of Turing's life and work. This volume will bring together contributions from some of the leading experts on Alan Turing to create a comprehensive guide to Turing that will serve as a useful resource for researchers in the area as well as the increasingly interested general reader. The book will cover aspects of Turing's life and the wide range of his intellectual activities, including mathematics, code-breaking, computer science, logic, artificial intelligence and mathematical biology, as well as his subsequent influence.

Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems
Author: Jonathan P. Bowen
Publisher: Springer
Total Pages: 272
Release: 2017-04-18
Genre: Computers
ISBN: 3319568418

This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as: modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.