Listing 1 - 10 of 12 << page
of 2
>>
Sort by
Logic and reality : essays on the legacy of Arthur Prior
Author:
ISBN: 0198240600 9780198240600 Year: 1996 Publisher: Oxford : Clarendon Press,

Alan Turing' s electronic brain : the struggle to build the ACE, the world's fastest computer
Author:
ISBN: 9780199609154 9780198565932 0199609152 0198565933 Year: 2012 Publisher: Oxford ; New York : Oxford University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life plus the secrets of Enigma
Author:
ISBN: 0198250797 0198250800 Year: 2004 Publisher: New York (N.Y.) Oxford university press

The Essential Turing : Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secret of Enigma
Author:
ISBN: 0191916528 1280759224 0191520284 1429421525 9780191520280 9780198250807 0198250800 9780198250791 0198250797 9781280759222 9781429421522 9786610759224 6610759227 Year: 2004 Publisher: Oxford Clarendon Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Alan Turing was one of the most influential thinkers of the 20th century and played a crucial part in deciphering the Enigma code. The papers in this text are key works for understanding Turing's phenomenal contribution.

Colossus
Author:
ISBN: 0191917931 1280753129 0191513156 1429421517 9781429421515 9780191513152 019284055X 9780192840554 0191578215 Year: 2006 Publisher: Oxford New York Oxford University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

The world's first fully-functioning electronic digital computer, Colossus was used during World War 2 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 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 is published here for the first time.


Book
Alan Turing' s electronic brain
Author:
ISBN: 1283576384 9786613888839 019164434X 9780191644344 9780199609154 0199609152 0191625868 9780191625862 9781283576383 6613888834 Year: 2012 Publisher: Oxford New York Oxford University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

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 firstprogram in 1950 and the production version, the 'DEUCE', went on to become a cornerstone of the fledgling British


Book
Turing
Author:
ISBN: 1283804425 0191633771 9780191633775 9781283804424 9780199639793 0199639795 019163378X Year: 2012 Publisher: Oxford Oxford University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Alan Turing can be regarded as one of the greatest scientists of the 20th century. But who was Turing, and what did he achieve during his tragically short life of 41 years? Best known as the genius who broke Germany's most secret codes during the war of 1939-45, Turing was also the father of the modern computer. Today, all who 'click-to-open' are familiar with the impact of Turing's ideas. Here, B. Jack Copeland provides an account of Turing's life and work, exploring the key elements of his life-story in tandem with his leading ideas and contributions. The book highlights Turing's contribution


Book
Computability : Turing, Gödel, Church, and Beyond
Authors: --- ---
ISBN: 0262527480 0262312670 0262312689 9781461931843 1461931843 9780262312677 9780262312660 0262312662 1299688004 9781299688001 9780262312684 9780262018999 0262018993 9780262527484 Year: 2013 Publisher: Cambridge The MIT Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

"In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the decades since, the theory of computability has moved to the center of discussions in philosophy, computer science, and cognitive science. In this volume, distinguished computer scientists, mathematicians, logicians, and philosophers consider the conceptual foundations of computability in light of our modern understanding. Some chapters focus on the pioneering work by Turing, Gödel, and Church, including the Church-Turing thesis and Gödel's response to Church's and Turing's proposals. Other chapters cover more recent technical developments, including computability over the reals, Gödel's influence on mathematical logic and on recursion theory and the impact of work by Turing and Emil Post on our theoretical understanding of online and interactive computing; and others relate computability and complexity to issues in the philosophy of mind, the philosophy of science, and the philosophy of mathematics."


Book
The Turing guide
Authors: --- --- ---
ISBN: 0191065013 0191916943 0191065005 Year: 2017 Publisher: Oxford : Oxford University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.--


Book
Church's Thesis After 70 Years

Loading...
Export citation

Choose an application

Bookmark

Abstract

Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of a effectively computable function defined in natural numbers with the notion of a recursive function. Despite of the many efforts of prominent scientists, Church's Thesis has never been falsified. There exists a vast literature concerning the thesis. The aim of the book is to provide one volume summary of the state of research on Church's Thesis. These include the following: different formulations of CT, CT and intuitionism, CT and intensional mathematics,

Listing 1 - 10 of 12 << page
of 2
>>
Sort by