Computability in context : computation and logic in the real world /

Mostrar otras versiones (1)

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Cooper, S. B. (S. Barry), Sorbi, Andrea, 1956-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Hackensack, NJ : Imperial College Press ; Distributed by World Scientific, ©2011.
Temas:
Computable functions.
Computational intelligence.
Set theory.
Mathematics > Philosophy.
Fonctions calculables.
Intelligence informatique.
Théorie des ensembles.
Mathématiques > Philosophie.
COMPUTERS > Machine Theory.
Computable functions
Computational intelligence
Mathematics > Philosophy
Set theory
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.

Ejemplares similares