Cargando…
Computability in context : computation and logic in the real world /
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, base...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
London : Hackensack, NJ :
Imperial College Press ; Distributed by World Scientific,
©2011.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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.