
Computability In Context: Computation And Logic In The Real World
Computation and Logic in the Real World
Imperial College Press
Published on 1. March 2011
Book
Hardback
420 pages
978-1-84816-245-7 (ISBN)
Description
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.
More details
Language
English
Place of publication
London
United Kingdom
Target group
College/higher education
Professional and scholarly
Dimensions
Height: 235 mm
Width: 157 mm
Thickness: 27 mm
Weight
756 gr
ISBN-13
978-1-84816-245-7 (9781848162457)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Content
Computation, Information and the Arrow (P Adriaans & P van Emde Boas); The Isomorphism Conjecture for NP (M Agrawal); The Ershov Hierarchy (M M Arslanov); Complexity and Approximation in Reoptimization (G Ausiello et al.); Definability in the Real Universe (S B Cooper); HF-Computability (Y L Ershov et al.); The Mathematics of Computing between Logic and Physics (G Longo & T Paul); Liquid State Machines: Motivation, Theory, and Applications (W Maass); Experiments on an Internal Approach to Typed Algorithms in Analysis (D Normann); Recursive Functions: An Archeological Look (P Odifreddi); Reverse Mathematics and Well-ordering Principles (M Rathjen & A Weiermann); Discrete Transfinite Computation Models (P D Welch).