Computability in Analysis and Physics

ISBN-13: 9781107168442 / Angielski / Twarda / 2017 / 218 str.

Marian B. Pour-El; J. Ian Richards

Opis

The first graduate-level treatment of computable analysis within the tradition of classical mathematical reasoning.

Spis treści

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.