Computability in analysis and physics
@inproceedings{PourEl1989ComputabilityIA,
title={Computability in analysis and physics},
author={M. B. Pour-El and J. I. Richards},
booktitle={Perspectives in Mathematical Logic},
year={1989}
}This book represents the first treatment of computable analysis at the graduate level within the tradition of classical mathematical reasoning. Among the topics dealt with are: classical analysis, Hilbert and Banach spaces, bounded and unbounded linear operators, eigenvalues, eigenvectors, and equations of mathematical physics. The book is self-contained, and yet sufficiently detailed to provide an introduction to research in this area.
Topics from this paper
840 Citations
Computable analysis of the abstract Cauchy problem in a Banach space and its applications I
- Mathematics, Computer Science
- Math. Log. Q.
- 2007
- 8
Computability, noncomputability, and hyperbolic systems
- Mathematics, Computer Science
- Appl. Math. Comput.
- 2012
- 8
- PDF
Computability Structure of the Sobolev Spaces and Its Applications
- Computer Science, Mathematics
- Theor. Comput. Sci.
- 1999
- 15
Chapter 13 - The Structure of Computability in Analysis and Physical Theory: An Extension of Church's Thesis
- Mathematics
- 1999
- 11
Computable analysis with applications to dynamic systems
- Computer Science, Mathematics
- Math. Struct. Comput. Sci.
- 2020
- PDF
Pure mathematics and physical reality (continuity and computability)
- Mathematics
- 2007
- 3
- Highly Influenced