Bulletin of the American Mathematical Society

The AMS does not provide abstracts of book reviews. You may download the entire review from the links below.

Book Information

Author(s): M. B. Pour-El and J. I. Richards
Title: Computability in analysis and physics
Additional book information: Perspect. Math. Logic, Springer-Verlag, New York, Berlin, Heidelberg, 206 pp. ISBN 0-387-50035-9

[Bi] E. Bishop, Foundations of constructive analysis, McGraw-Hill, New York, 1967. MR 221878

[BB] D. Bridges and E. Bishop, Constructive analysis, Grundlehren Math. Wiss., vol. 279, Springer-Verlag, Berlin, 1985. MR 804042

[BR] D. Bridges and F. Richman, Varieties of constructive mathematics, London Math. Soc. Lecture Note Ser., vol. 97, Cambridge Univ. Press, London, 1987. MR 890955

[Br] D. Bridges, A constructive look at positive linear functionals on L(H) , Pacific J. Math. 95 (1981), 11-25. MR 631655

[Kr] G. Kreisel, A notion of mechanistic theory, Synthese 29 (1974), 11-26.

[Ku] B. A. Kushner, Lectures on constructive mathematical analysis, Amer. Math. Soc., Providence, R. I., 1985. MR 773852

[My] J. Myhill, A recursive function, defined on a compact interval and having a continuous derivative that is not recursive, Michigan Math. J. 18 (1971), 97-98. MR 280373

[Pe] I. G. Petrovskii, Partial differential equations, Wiley, Philadelphia, 1967. MR 211021

[PR] M. B. Pour-El and I. Richards, The wave equation with computable initial data such that its unique solution is not computable, Adv. in Math. 39 (1981), 215-239. MR 614161

[Ro] H. Rogers, Jr., Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967. MR 224462

[Sp] E. Specker, Nicht konstruktiv beweisbare Sätze der Analysis, J. Symbolic Logic 14 (1949), 145-158. MR 31447

[Tu] A. M. Turing, On computable numbers, with an application to the "Entscheidungsproblem", Proc. London Math. Soc. (Ser. 2) 42 (1936), 230-265; corr. ibid. 43(1937), 544-546.

Review Information:
Journal: Bull. Amer. Math. Soc. 24 (1991), 216-228.
DOI: 10.1090/S0273-0979-1991-15994-X
PII: S 0273-0979(1991)15994-X

			Journals Home Search Author Info Subscribe Tech Support Help
ISSN 1088-9485(e) ISSN 0273-0979(p)

Previous issue \| Table of contents \| Next issue Articles in press \| Recently posted articles \| Most recent issue \| All issues: 1891 - Present Previous Article \| Next Article


	Comments: webmaster@ams.org © Copyright 2008, American Mathematical Society Privacy Statement		Search the AMS