Limit search to available items
Record 40 of 275
Previous Record Next Record
Book Cover
E-book

Title Computability in context : computation and logic in the real world / editors, S. Barry Cooper, Andrea Sorbi
Published London : Imperial College Press ; Hackensack, NJ : Distributed by World Scientific, ©2011
Online access available from:
World Scientific    View Resource Record  

Copies

Description 1 online resource (viii, 410 pages) : illustrations
Contents 1. Computation, information, and the arrow of time / P. Adriaans & P. van Emde Boas -- 2. The isomorphism conjecture for NP / M. Agrawal -- 3. 3. The Ershov hierarchy / M.M. Arslanov -- 4. Complexity and approximation in reoptimization / G. Ausiello, V. Bonifaci, & B. Escoffier -- 5. Definability in the real universe / S.B. Cooper -- 6. HF-computability / Y.L. Ershov, V.G. Puzarenko, & A.I. Stukachev -- 7. The mathematics of computing between logic and physics / G. Longo & T. Paul -- 8. Liquid state machines : Motivation, theory, and applications / W. Maass -- 9. Experiments on an internal approach to typed algorithms in analysis / D. Normann -- 10. Recursive functions : An archeological look / P. Odifreddi -- 11. Reverse mathematics and well-ordering principles / M. Rathjen & A. Weiermann -- 12. Discrete transfinite computation models / P.D. Welch
Summary 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 m
Bibliography Includes bibliographical references
Notes Print version record
Subject Computable functions.
Computational intelligence.
Set theory.
Mathematics -- Philosophy.
COMPUTERS -- Machine Theory.
Computable functions
Computational intelligence
Mathematics -- Philosophy
Set theory
Form Electronic book
Author Cooper, S. B. (S. Barry)
Sorbi, Andrea, 1956-
ISBN 9781848162778
1848162774