Computability in Analysis and Physics
Seiten
2017
Cambridge University Press (Verlag)
978-1-107-16844-2 (ISBN)
Cambridge University Press (Verlag)
978-1-107-16844-2 (ISBN)
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.
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the first publication in the Perspectives in Logic series, Pour-El and Richards present the first graduate-level treatment of computable analysis within the tradition of classical mathematical reasoning. The book focuses on the computability or noncomputability of standard processes in analysis and physics. Topics include classical analysis, Hilbert and Banach spaces, bounded and unbounded linear operators, eigenvalues, eigenvectors, and equations of mathematical physics. The work is self-contained, and although it is intended primarily for logicians and analysts, it should also be of interest to researchers and graduate students in physics and computer science.
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the first publication in the Perspectives in Logic series, Pour-El and Richards present the first graduate-level treatment of computable analysis within the tradition of classical mathematical reasoning. The book focuses on the computability or noncomputability of standard processes in analysis and physics. Topics include classical analysis, Hilbert and Banach spaces, bounded and unbounded linear operators, eigenvalues, eigenvectors, and equations of mathematical physics. The work is self-contained, and although it is intended primarily for logicians and analysts, it should also be of interest to researchers and graduate students in physics and computer science.
Marian B. Pour-El works in the School of Mathematics at the University of Minnesota. J. Ian Richards works in the School of Mathematics at the University of Minnesota.
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.
Erscheinungsdatum | 28.02.2017 |
---|---|
Reihe/Serie | Perspectives in Logic |
Zusatzinfo | 5 Line drawings, black and white |
Verlagsort | Cambridge |
Sprache | englisch |
Maße | 162 x 241 mm |
Gewicht | 500 g |
Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
ISBN-10 | 1-107-16844-9 / 1107168449 |
ISBN-13 | 978-1-107-16844-2 / 9781107168442 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
ein Übungsbuch für Fachhochschulen
Buch | Hardcover (2023)
Carl Hanser (Verlag)
16,99 €