Computability In Context: Computation And Logic In The Real World (Hardcover)

Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions about the so-called Turing barrier.

This volume addresses various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real-world issues, covering problems related to logic, mathematics, physical processes, real computation and learning theory. At the same time it will focus on different ways in which computability emerges from the real world, and how this affects our way of thinking about everyday computational issues.

The list of contributors includes: S Abramsky, P Adriaans, M Agrawal, M Arslanov, G Ausiello, J Diaz, Y Ershov, G Longo, W Maass, I Nemeti, A Nerode, D Normann, G Odifreddi, M Rathjen, G Rozenberg, M Vardi, and P Welch.

General

Imprint:	Imperial College Press
Country of origin:	United Kingdom
Release date:	March 2011
First published:	July 2011
Editors:	S. Barry Cooper • Andrea Sorbi
Dimensions:	235 x 162 x 32mm (L x W x T)
Format:	Hardcover
Pages:	420
ISBN-13:	978-1-84816-245-7
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation
LSN:	1-84816-245-6
Barcode:	9781848162457

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!