Abstract
We examine Paul Halmos’ comments on category theory, Dedekind cuts, devil worship, logic, and Robinson’s infinitesimals. Halmos’ scepticism about category theory derives from his philosophical position of naive set-theoretic realism. In the words of an MAA biography, Halmos thought that mathematics is “certainty” and “architecture” yet 20th century logic teaches us is that mathematics is full of uncertainty or more precisely incompleteness. If the term architecture meant to imply that mathematics is one great solid castle, then modern logic tends to teach us the opposite lesson, namely that the castle is floating in midair. Halmos’ realism tends to color his judgment of purely scientific aspects of logic and the way it is practiced and applied. He often expressed distaste for nonstandard models, and made a sustained effort to eliminate first-order logic, the logicians’ concept of interpretation, and the syntactic vs semantic distinction. He felt that these were vague, and sought to replace them all by his polyadic algebra. Halmos claimed that Robinson’s framework is “unnecessary” but Henson and Keisler argue that Robinson’s framework allows one to dig deeper into set-theoretic resources than is common in Archimedean mathematics. This can potentially prove theorems not accessible by standard methods, undermining Halmos’ criticisms.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Albers D.: Paul Halmos: maverick mathologist. Two-Year College Math. J. 13(4), 226–242 (1982)
Aronszajn N., Smith K.: Invariant subspaces of completely continuous operators. Ann. Math. 60(2), 345–350 (1954)
Bascelli, T., Bottazzi, E., Herzberg, F., Kanovei, V., Katz, K., Katz, M., Nowik, T., Sherry, D., Shnider, S.: Fermat, Leibniz, Euler, and the gang: the true history of the concepts of limit and shadow. Not. Am. Math. Soc. 61(8), 848–864 (2014). http://www.ams.org/notices/201408/rnoti-p848.pdf and http://arxiv.org/abs/1407.0233
Bernstein A., Robinson A.: Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos. Pac. J. Math. 16, 421–431 (1966)
Bishop, E.: Schizophrenia in contemporary mathematics. In: Errett Bishop: reflections on him and his research (San Diego, CA, 1983), 1–32, Contemp. Math., 39, American Mathematical Society, Providence, RI, 1985 (Published posthumously; originally distributed in 1973)
Dauben, J.: Abraham Robinson. The Creation of Nonstandard Analysis. A Personal and Mathematical Odyssey. With a foreword by Benoit B. Mandelbrot. Princeton University Press, Princeton (1995)
Davis, M.: Applied nonstandard analysis. Pure and Applied Mathematics. Wiley-Interscience [John Wiley & Sons], New York-London-Sydney (1977). Reprinted by Dover, NY, (2005). http://store.doverpublications.com/0486442292.html
Fenstad, J.: Representations of probabilities defined on first order languages. 1967 Sets, Models and Recursion Theory (Proc. Summer School Math. Logic and Tenth Logic Colloq., Leicester, 1965), pp. 156–172, North-Holland, Amsterdam (1967)
Gordon, E.I.: Nonstandard methods in commutative harmonic analysis. Translated from the Russian manuscript by H. H. McFaden. Translations of Mathematical Monographs, 164. American Mathematical Society, Providence, RI (1997)
Halmos P.: Invariant subspaces of polynomially compact operators. Pac. J. Math. 16, 433–437 (1966)
Halmos, P.: Applied mathematics is bad mathematics. In: Steen LA (ed.) Mathematics Tomorrow, pp. 9–20. Springer, New York (1981) (Reprinted in [Halmos 1983])
Halmos P.: Does mathematics have elements?. Math. Intell. 3(4), 147–152 (1981)
Halmos, P.: Selecta: expository writing. In:Donald E, Sarason, Gillman L (eds.). Including an article by Donald J. Albers. Springer, New York (1983)
Halmos, P.: I want to be a mathematician. An automathography. Springer, New York (1985)
Halmos P.: Has progress in mathematics slowed down?. Am. Math. Mon. 97(7), 561–588 (1990)
Halmos P.: An autobiography of polyadic algebras. Log. J. IGPL 8(4), 383–392 (2000)
Henson C.W., Keisler H.J.: On the strength of nonstandard analysis. J. Symb. Logic 51(2), 377–386 (1986)
Hewitt E.: Rings of real-valued continuous functions. I. Trans. Ame. Math. Soc. 64, 45–99 (1948)
Jerome F.: Einstein, race, and the myth of the cultural icon. Isis 95(4), 627–639 (2004)
Kanovei, V., Katz, M., Mormann, T.: Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics. Found. Sci. 18(2), 259–296 (2013). doi:10.1007/s10699-012-9316-5. http://arxiv.org/abs/1211.0244
Kanovei, V., Katz, K., Katz, M., Schaps, M.: Proofs and retributions, or: Why Sarah can’t take limits. Found. Sci. 20(1), 1–25 (2015). doi:10.1007/s10699-013-9340-0
Katz, K., Katz, M.: Meaning in classical mathematics: is it at odds with Intuitionism?. Intellectica 56(2), 223–302 (2011). http://arxiv.org/abs/1110.5456
Katz, K., Katz, M.: A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography. Found. Sci. 17(1), 51–89 (2012). doi:10.1007/s10699-011-9223-1. http://arxiv.org/abs/1104.0375
Katz, M., Leichtnam, E.: Commuting and noncommuting infinitesimals. Ame. Math. Mon. 120(7), 631–641 (2013). doi:10.4169/amer.math.monthly.120.07.631. http://arxiv.org/abs/1304.0583
Lindstrom T.: An invitation to nonstandard analysis. In: Cutland N.J., (eds.) Nonstandard analysis and its application, pp. 1–105. Cambridge University Press (1988)
Loeb P.: Conversion from nonstandard to standard measure spaces and applications in probability theory. Trans. Amer. Math. Soc. 211, 113–122 (1975)
Lolli, G.: Why mathematicians do not love logic. Workshop on Linguaggio, verita e storia in matematica, Mussomeli (CL), 9 febbraio (2008). http://homepage.sns.it/lolli/articoli/Lolli.pdf
Lomonosov V.: Invariant subspaces of the family of operators that commute with a completely continuous operator. Funkcional. Anal. i Priložen. 7(3), 55–56 (1973)
Luxemburg W.: Two applications of the method of construction by ultrapowers to analysis. Bull. Amer. Math. Soc. 68, 416–419 (1962)
Nelson, E.: Dynamical Theories of Brownian Motion. Princeton University Press, Princeton (1967)
Nowik, T., Katz, M.: Differential geometry via infinitesimal displacements. J. Logic Anal. 7(5), 1–44 (2015). http://www.logicandanalysis.org/index.php/jla/article/view/237/106 and http://arxiv.org/abs/1405.0984
Robinson, A.: Non-standard analysis. Nederl. Akad. Wetensch. Proc. Ser. A 64 = Indag. Math. 23, 432–440 (1961) [reprinted in Selected Works, see item (Robinson 1979), pp. 3–11]
Robinson, A.: Non-standard analysis. North-Holland Publishing Co., Amsterdam (1966)
Robinson A.: Reviews: foundations of constructive analysis. Am. Math. Mon. 75(8), 920–921 (1968)
Robinson, A.: Selected papers of Abraham Robinson. Vol. II. Nonstandard analysis and philosophy. Edited and with introductions by Luxemburg, W.A.J., and Körner, S. Yale University Press, New Haven (1979)
Tao, T., Van Vu, V.: Sum-avoiding sets in groups (2016). http://arxiv.org/abs/1603.03068
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Błaszczyk, P., Borovik, A., Kanovei, V. et al. A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos. Log. Univers. 10, 393–405 (2016). https://doi.org/10.1007/s11787-016-0153-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-016-0153-0