LEADER 03385nam  2200649 a 450 
001 9910789411903321
005 20230725031451.0
010   $a1-283-14816-1
010   $a9786613148162
010   $a1-84816-277-4
035   $a(CKB)2670000000095533
035   $a(EBL)737616
035   $a(OCoLC)733048100
035   $a(SSID)ssj0000521617
035   $a(PQKBManifestationID)12187527
035   $a(PQKBTitleCode)TC0000521617
035   $a(PQKBWorkID)10522475
035   $a(PQKB)11324784
035   $a(MiAaPQ)EBC737616
035   $a(WSP)0000P577
035   $a(Au-PeEL)EBL737616
035   $a(CaPaEBR)ebr10480218
035   $a(CaONFJC)MIL314816
035   $a(EXLCZ)992670000000095533
100   $a20101004d2011      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 00$aComputability in context$b[electronic resource] $ecomputation and logic in the real world /$feditors, S. Barry Cooper, Andrea Sorbi
210   $aLondon $cImperial College Press ;$aSingapore ;$aHackensack, N.J. $cWorld Scientific Pub. Co.$d2011
215   $a1 online resource (419 p.)
300   $aDescription based upon print version of record.
311   $a1-84816-245-6 
320   $aIncludes bibliographical references.
327   $aPreface; 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
327   $a9. 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
330   $aComputability 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
606   $aComputable functions
606   $aComputational intelligence
606   $aSet theory
606   $aMathematics$xPhilosophy
615  0$aComputable functions.
615  0$aComputational intelligence.
615  0$aSet theory.
615  0$aMathematics$xPhilosophy.
676   $a511.3/52
701   $aCooper$b S. B$g(S. Barry)$060840
701   $aSorbi$b Andrea$f1956-$059072
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910789411903321
996   $aComputability in context$93851958
997   $aUNINA