Cargando…
Computability in analysis and physics /
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 Perspecti...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge ; New York :
Cambridge University Press,
[2016]
|
| Colección: | Perspectives in logic ;
1. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn982123210 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||||||| | ||
| 008 | 170411s2016 enka ob 001 0 eng d | ||
| 040 | |a LGG |b eng |e rda |e pn |c LGG |d LGG |d N$T |d EBLCP |d N$T |d YDX |d UIU |d OCLCF |d U3W |d COO |d UKAHL |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ | ||
| 019 | |a 982236997 |a 982331298 |a 982414397 |a 982421557 |a 982508121 |a 982560915 |a 982570281 | ||
| 020 | |a 9781316754917 |q (electronic bk.) | ||
| 020 | |a 131675491X |q (electronic bk.) | ||
| 020 | |a 9781316749128 | ||
| 020 | |a 1316749126 | ||
| 020 | |z 9781316717325 | ||
| 020 | |z 1316717321 | ||
| 020 | |z 9781107168442 | ||
| 020 | |z 1107168449 | ||
| 029 | 1 | |a AU@ |b 000062882205 | |
| 035 | |a (OCoLC)982123210 |z (OCoLC)982236997 |z (OCoLC)982331298 |z (OCoLC)982414397 |z (OCoLC)982421557 |z (OCoLC)982508121 |z (OCoLC)982560915 |z (OCoLC)982570281 | ||
| 050 | 4 | |a QA9.59 |b .P68 2016 | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Pour-El, Marian B. |q (Marian Boykan), |d 1928- |e author. | |
| 245 | 1 | 0 | |a Computability in analysis and physics / |c Marian B. Pour-El, University of Minnesota, J. Ian Richards, University of Minnesota. |
| 264 | 1 | |a Cambridge ; |a New York : |b Cambridge University Press, |c [2016] | |
| 264 | 4 | |c ©2016 | |
| 300 | |a 1 online resource : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Perspectives in Logic ; |v 1 | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Cover; Half-title; Series information; Title page; Copyright information; Preface to the Series: Perspectives in Mathematical Logic; Authors' Preface; Table of Contents; Major Interconnections; Introduction; Prerequisites from Logic and Analysis; Part I. Computability in Classical Analysis; Chapter 0. An Introduction to Computable Analysis; Introduction; 1. Computable Real Numbers; 2. Computable Sequences of Real Numbers; 3. Computable Functions of One or Several Real Variables; 4. Preliminary Constructs in Analysis; 5. Basic Constructs of Analysis | |
| 505 | 8 | |a 6. The Max-Min Theorem and the Intermediate Value Theorem7. Proof of the Effective Weierstrass Theorem; Chapter 1. Further Topics in Computable Analysis; Introduction; 1. Cn Functions, 1 ≤ n ≤ ∞; 2. Analytic Functions; 3. The Effective Modulus Lemma and Some of Its Consequences; 4. Translation Invariant Operators; Part II. The Computability Theory of Banach Spaces; Chapter 2. Computability Structures on a Banach Space; Introduction; 1. The Axioms for a Computability Structure; 2. The Classical Case: Computability in the Sense of Chapter 0; 3. Intrinsic Lp-computability | |
| 505 | 8 | |a 4. Intrinsic lp-computability5. The Effective Density Lemma and the Stability Lemma; 6. Two Counterexamples: Separability Versus Effective Separability and Computability on L[sup(∞)] [0, 1]; 7. Ad Hoc Computability Structures; Chapter 3. The First Main Theorem and Its Applications; Introduction; 1. Bounded Operators, Closed Unbounded Operators; 2. The First Main Theorem; 3. Simple Applications to Real Analysis; 4. Further Applications to Real Analysis; 5. Applications to Physical Theory; Part III. The Computability Theory of Eigenvalues and Eigenvectors | |
| 505 | 8 | |a Chapter 4. The Second Main Theorem, the Eigenvector Theorem, and Related ResultsIntroduction; 1. Basic Notions for Unbounded Operators, Effectively Determined Operators; 2. The Second Main Theorem and Some of Its Corollaries; 3. Creation and Destruction of Eigenvalues; 4. A Non-normal Operator with a Noncomputable Eigenvalue; 5. The Eigenvector Theorem; 6. The Eigenvector Theorem, Completed; 7. Some Results for Banach Spaces; Chapter 5. Proof of the Second Main Theorem; Introduction; 1. Review of the Spectral Theorem; 2. Preliminaries; 3. Heuristics; 4. The Algorithm | |
| 505 | 8 | |a 5. Proof That the Algorithm Works6. Normal Operators; 7. Unbounded Self-Adjoint Operators; 8. Converses; Addendum: Open Problems; Bibliography; Subject Index | |
| 520 | |a 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. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Computable functions. | |
| 650 | 0 | |a Mathematical analysis. | |
| 650 | 0 | |a Physics. | |
| 650 | 2 | |a Physics | |
| 650 | 6 | |a Fonctions calculables. | |
| 650 | 6 | |a Analyse mathématique. | |
| 650 | 6 | |a Physique. | |
| 650 | 7 | |a physics. |2 aat | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a Computable functions. |2 fast |0 (OCoLC)fst00871985 | |
| 650 | 7 | |a Mathematical analysis. |2 fast |0 (OCoLC)fst01012068 | |
| 650 | 7 | |a Physics. |2 fast |0 (OCoLC)fst01063025 | |
| 700 | 1 | |a Richards, Ian, |d 1936- |e author. | |
| 776 | 0 | 8 | |i Print version: |a POUR-EL, MARIAN B. |t COMPUTABILITY IN ANALYSIS AND PHYSICS. |d [S.l.] : CAMBRIDGE UNIV PRESS, 2016 |z 1107168449 |w (OCoLC)959951887 |
| 830 | 0 | |a Perspectives in logic ; |v 1. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475810 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH32658278 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH32588642 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL4812314 | ||
| 938 | |a EBSCOhost |b EBSC |n 1475810 | ||
| 938 | |a YBP Library Services |b YANK |n 14007755 | ||
| 938 | |a YBP Library Services |b YANK |n 13972510 | ||
| 938 | |a YBP Library Services |b YANK |n 14008067 | ||
| 994 | |a 92 |b IZTAP | ||