Publication series :Perspectives in Logic
Author: Marian B. Pour-El; J. Ian Richards
Publisher: Cambridge University Press
Publication year: 2017
E-ISBN: 9781316731758
P-ISBN(Paperback): 9781107168442
Subject: O141.3 recursive function (recursion theory, the effectiveness theory)
Keyword: 一般性问题
Language: ENG
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Computability in Analysis and Physics
Description
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.
Chapter