Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)

Book Review

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


Full text of review: PDF   This review is available free of charge.
Book Information:

Authors: 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.

References [Enhancements On Off] (What's this?)

  • [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:

Reviewer: Douglas S. Bridges
Journal: Bull. Amer. Math. Soc. 24 (1991), 216-228
DOI: https://doi.org/10.1090/S0273-0979-1991-15994-X
American Mathematical Society