Computation and its Limits

Paul Cockshott, Lewis M Mackenzie, Gregory Michaelson (Autoren)

Buch | Hardcover

246 Seiten

2012
Oxford University Press (Verlag)
978-0-19-964032-4 (ISBN)

Artikel merken

Although we are entirely unaware of it, computation is central to all aspects of our existences. Every day we solve, or try to solve, a myriad of problems, from the utterly trivial to the bafflingly complex. This book explains why it is possible to do computation and what the ultimate limits of it are, as understood by modern science.

Computation and its Limits is an innovative cross-disciplinary investigation of the relationship between computing and physical reality. It begins by exploring the mystery of why mathematics is so effective in science and seeks to explain this in terms of the modelling of one part of physical reality by another. Going from the origins of counting to the most blue-skies proposals for novel methods of computation, the authors investigate the extent to which the laws of nature and of logic constrain what we can compute. In the process they examine formal computability, the thermodynamics of computation and the promise of quantum computing.

Paul Cockshott was educated at McMaster , Manchester, Heriot Watt and Edinburgh Universities. He trained originally as an economist and continues to be interested in the area. He later studied computer science, obtaining PhD in the same from Edinburgh University. Cockshott has worked in industry for ICL on hardware verification and for Memex on the design of database machines and has been a research worker or lecturer at the universities of Edinburgh, Heriot Watt, Glasgow and Strathclyde. He is currently Reader in Computer Science at the University of Glasgow. Lewis M Mackenzie is a Senior Lecturer in Computing Science at the University of Glasgow. His research interests are in machine architectures and the performance modelling of communication systems. Dr Mackenzie's recently published work has involved the modelling of traffic patterns in a variety of scenarios from regular wormhole-switched multi-computer interconnects to mobile ad-hoc wireless networks (MANETs). Greg Michaelson studied Computer Science as an undergraduate at the University of Essex (1970-73) and as a postgraduate at the University of St Andrews (1974-77), working as a real-time programmer at Scottish Gas in between. He subsequently taught Computer Studies at Napier College and Computing Science at the University of Glasgow. He joined Heriot-Watt University in 1983, where he gained his PhD in 1993, was Head of Computer Science from 2003-8 and promoted to Professor in 2006. Dr Michaelson's research interests encompass formally motivated computing, in particular the design, implementation and analysis of programming languages for multi-process systems. He published his first novel in 2008.

1. Introduction ; 2. What is computation? ; 3. Mechanical computers and their limits ; 4. Logical limits to computability ; 5. Heat, information and geometry ; 6. Quantum computers ; 7. Beyond the logical limits of computing? ; 8. Hyper computing proposals

Erscheint lt. Verlag	15.3.2012
Zusatzinfo	69 b/w line drawings, 17 b/w halftones
Verlagsort	Oxford
Sprache	englisch
Maße	196 x 253 mm
Gewicht	732 g
Themenwelt	Sachbuch/Ratgeber ► Natur / Technik
	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
	Naturwissenschaften ► Physik / Astronomie
ISBN-10	0-19-964032-7 / 0199640327
ISBN-13	978-0-19-964032-4 / 9780199640324
Zustand	Neuware