Perspectives in Logic

Computability in Analysis and Physics

Marian B. Pour-El and J. Ian Richards

Book information

Authors
Marian B. Pour-El and J. Ian Richards

Publication information
Perspectives in Mathematical Logic, Volume 1
Berlin: Springer-Verlag, 1989
206 pp.

Dates
Publication date: 1989
First available in Project Euclid: 23 February 2009

Permanent link to this book
http://projecteuclid.org/euclid.pl/1235422916

ISBN:
3-540-50035-9
0-387-50035-9

Mathematical Reviews (MathSciNet):
MR 1005942

Subjects
Primary: 03D80: Applications of computability and recursion theory 03F60: Constructive and recursive analysis [See also 03B30, 03D45, 03D78, 26E40, 46S30, 47S30] 46N05

Rights
Copyright © 1989, Association for Symbolic Logic

Citation
Marian B. Pour-El, J. Ian Richards, Computability in Analysis and Physics (Berlin: Springer-Verlag, 1989)

Select/deselect all
  • Export citations
Miscellaneous Frontmatter
Abstract PDF
Introduction1 - 5
Abstract PDF
Prerequisites from Logic and Analysis6 - 8
Abstract PDF

Part I: Computability in Classical Analysis

Chapter 0: An Introduction to Computable Analysis11 - 49
Abstract PDF
Chapter 1: Further Topics in Computable Analysis50 - 73
Abstract PDF

Part II: The Computability Theory of Banach Spaces

Chapter 2: Computability Structures on a Banach Space77 - 92
Abstract PDF
Chapter 3: The First Main Theorem and Its Applications93 - 120
Abstract PDF

Part III: The Computability Theory of Eigenvalues and Eigenvectors

Chapter 4: The Second Main Theorem, the Eigenvector Theorem, and Related Results123 - 148
Abstract PDF
Chapter 5: Proof of the Second Main Theorem149 - 191
Abstract PDF
Addendum: Open Problems192 - 194
Abstract PDF
Bibliography195 - 200
Abstract PDF
Subject Index201 - 206
Abstract PDF
Miscellaneous Backmatter
Abstract PDF
Select/deselect all
  • Export citations

Top

Association for Symbolic Logic

Perspectives in Logic
  • You have access to this content.
  • You have partial access to this content.
  • You do not have access to this content.
Turn Off MathJax

What is MathJax?