Computation and Its Limits

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.

Paul Cockshott, Reader, Department of Computing Science, University of Glasgow,Lewis M. Mackenzie, Senior Lecturer, Department of Computing Science, University of Glasgow,Gregory Michaelson, Professor of Computing Science, Heriot-Watt University, Edinburgh

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 his PhD in the same from Edinburgh University. Dr Cockshott has worked in industry for ICL on hardware verification and for Memex on the design of database machines. He has also been a research worker and 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 at the University of Essex and the University of St Andrews, working as a real-time programmer at Scottish Gas in between. He then taught at Napier College and the University of Glasgow, before joining Heriot-Watt University in 1983, where he gained his PhD. He 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.