Vai al contenuto principale della pagina

Computability in context : computation and logic in the real world / / editors, S. Barry Cooper, Andrea Sorbi



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Computability in context : computation and logic in the real world / / editors, S. Barry Cooper, Andrea Sorbi Visualizza cluster
Pubblicazione: London, : Imperial College Press
Singapore ; ; Hackensack, N.J., : World Scientific Pub. Co., 2011
Edizione: 1st ed.
Descrizione fisica: 1 online resource (419 p.)
Disciplina: 511.3/52
Soggetto topico: Computable functions
Computational intelligence
Set theory
Mathematics - Philosophy
Altri autori: CooperS. B (S. Barry)  
SorbiAndrea <1956->  
Note generali: Description based upon print version of record.
Nota di bibliografia: Includes bibliographical references.
Nota di contenuto: Preface; 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. Bonifaci, & B. Escoffer; 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. Normann10. 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
Sommario/riassunto: 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
Titolo autorizzato: Computability in context  Visualizza cluster
ISBN: 1-283-14816-1
9786613148162
1-84816-277-4
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910820400803321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui