Computability in Analysis and Physics

Informationen zum Autor Marian B. Pour-El works in the School of Mathematics at the University of Minnesota. Klappentext The first graduate-level treatment of computable analysis within the tradition of classical mathematical reasoning. Zusammenfassung This is the first graduate-level treatment of computable analysis within the tradition of classical mathematical reasoning. The authors are concerned with the computability or noncomputability of standard processes in analysis and physics. The book is self-contained and serves well as an introduction to research in this area. Inhaltsverzeichnis Introduction; Prerequisites from logic and analysis; Part I. Computability in Classical Analysis: An introduction to computable analysis; 1. Further topics in computable analysis; Part II. The Computability Theory of Banach Spaces: 2. Computability structures on a Banach space; 3. The first main theorem and its applications; Part III. The Computability Theory of Eigenvalues and Eigenvectors: 4. The second main theorem, the eigenvector theorem, and related results; 5. Proof of the second main theorem; Addendum: open problems; Bibliography; Subject index.

Product details

• Authors: Marian B. Pour-El, Marian B. (University of Minnesota) Pour-El, Marian B. (University of Minnesota) Richa Pour-El, Marian B. Richards Pour-El, MarianB Pour-El, J. Ian Richards, J. Ian (University of Minnesota) Richards
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 02.03.2017
• EAN: 9781107168442
• ISBN: 978-1-107-16844-2
• No. of pages: 218
• Series: Perspectives in Logic
• Subject: Natural sciences, medicine, IT, technology > Mathematics > General, dictionaries