03420nam 2200661 a 450 991046130600332120200520144314.01-283-14816-197866131481621-84816-277-4(CKB)2670000000095533(EBL)737616(OCoLC)733048100(SSID)ssj0000521617(PQKBManifestationID)12187527(PQKBTitleCode)TC0000521617(PQKBWorkID)10522475(PQKB)11324784(MiAaPQ)EBC737616(WSP)0000P577(Au-PeEL)EBL737616(CaPaEBR)ebr10480218(CaONFJC)MIL314816(EXLCZ)99267000000009553320101004d2011 uy 0engur|n|---|||||txtccrComputability in context[electronic resource] computation and logic in the real world /editors, S. Barry Cooper, Andrea SorbiLondon Imperial College Press ;Singapore ;Hackensack, N.J. World Scientific Pub. Co.20111 online resource (419 p.)Description based upon print version of record.1-84816-245-6 Includes bibliographical references.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. Maass9. 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. WelchComputability 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 mComputable functionsComputational intelligenceSet theoryMathematicsPhilosophyElectronic books.Computable functions.Computational intelligence.Set theory.MathematicsPhilosophy.511.3/52Cooper S. B(S. Barry)857224Sorbi Andrea1956-59072MiAaPQMiAaPQMiAaPQBOOK9910461306003321Computability in context1914159UNINA