LEADER 04007nam 2200505 450 001 9910483833803321 005 20220205090923.0 010 $a3-030-59234-0 024 7 $a10.1007/978-3-030-59234-9 035 $a(CKB)4100000011954395 035 $a(DE-He213)978-3-030-59234-9 035 $a(MiAaPQ)EBC6637856 035 $a(Au-PeEL)EBL6637856 035 $a(OCoLC)1257083902 035 $a(PPN)260306738 035 $a(EXLCZ)994100000011954395 100 $a20220205d2021 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aHandbook of computability and complexity in analysis /$fVasco Brattka, Peter Hertling, editors 205 $a1st ed. 2021. 210 1$aCham, Switzerland :$cSpringer,$d[2021] 210 4$d©2021 215 $a1 online resource (XXV, 427 p.) 225 1 $aTheory and applications of computability 311 $a3-030-59233-2 320 $aIncludes bibliographical references and index. 327 $aPart I, Computability in Analysis -- Computability of Real Numbers -- Computability of Subsets of Metric Spaces -- Computability of Differential Equations -- Computable Complex Analysis -- Part II, Complexity, Dynamics, and Randomness -- Computable Geometric Complex Analysis and Complex Dynamics -- A Survey on Analog Models of Computation -- Computable Measure Theory and Algorithmic Randomness -- Algorithmic Fractal Dimensions in Geometric Measure Theory -- Part III Constructivity, Logic, and Descriptive Complexity -- Admissibly Represented Spaces and Qcb-Spaces -- Bishop-Style Constructive Reverse Mathematics -- Weihrauch Complexity in Computable Analysis -- Index. 330 $aComputable analysis is the modern theory of computability and complexity in analysis that arose out of Turing's seminal work in the 1930s. This was motivated by questions such as: which real numbers and real number functions are computable, and which mathematical tasks in analysis can be solved by algorithmic means? Nowadays, this theory has many different facets that embrace topics from computability theory, algorithmic randomness, computational complexity, dynamical systems, fractals, and analog computers, up to logic, descriptive set theory, constructivism, and reverse mathematics. In recent decades, computable analysis has invaded many branches of analysis, and researchers have studied computability and complexity questions arising from real and complex analysis, functional analysis, and the theory of differential equations, up to (geometric) measure theory and topology. This comprehensive handbook contains 11 chapters grouped into parts on computability in analysis; complexity, dynamics, and randomness; and constructivity, logic, and descriptive complexity. Researchers and graduate students in the areas of theoretical computer science and mathematical logic will find systematic introductions into many branches of computable analysis, as well as a wealth of information and references that will help them to navigate the modern research literature in this field. Vasco Brattka is a professor for Theoretical Computer Science and Mathematical Logic at the Universität der Bundeswehr München. He is editor-in-chief of Computability, the journal of the association, Computability in Europe. Peter Hertling is a professor in the Institute for Theoretical Computer Science, Mathematics and Operations Research at UniBwM. He is an associate editor of Journal of Complexity. 410 0$aTheory and applications of computability. 606 $aComputer science$xMathematics 615 0$aComputer science$xMathematics. 676 $a004.0151 702 $aBrattka$b Vasco$f1966- 702 $aHertling$b Peter$f1965- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483833803321 996 $aHandbook of Computability and Complexity in Analysis$91892942 997 $aUNINA