|
" Computability in context : "
editors, S. Barry Cooper, Andrea Sorbi
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
647883
|
| Doc. No
|
:
|
dltt
|
| Title & Author
|
:
|
Computability in context : : computation and logic in the real world /\ editors, S. Barry Cooper, Andrea Sorbi
|
| Publication Statement
|
:
|
London :: Imperial College Press ;Hackensack, NJ :: Distributed by World Scientific,, c2011
|
| Page. NO
|
:
|
viii, 410 p. :: ill. ;; 24 cm
|
| ISBN
|
:
|
9781848162457
|
|
|
:
|
: 1848162456
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references
|
| Contents
|
:
|
1. Computation, information, and the arrow of time / P. Adriaans & P. van Emde Boas -- 2. The isomorphism conjecture for NP / M. Agrawal -- 3. The Ershov hierarchy / M. M. Arslanov -- 4. Complexity and approximation in reoptimization / G. Ausiello, V. Bonmifaci, & 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
|
| Subject
|
:
|
Computable functions
|
| Subject
|
:
|
Computational intelligence
|
| Subject
|
:
|
Set theory
|
| Subject
|
:
|
Mathematics-- Philosophy
|
| LC Classification
|
:
|
QA9.59.C655 2011
|
| Added Entry
|
:
|
Cooper, S. B., (S. Barry)
|
|
|
:
|
Sorbi, Andrea,1956-
|
| |