Skip to Main Content

Bulletin of the American Mathematical Society

Published by the American Mathematical Society, the Bulletin of the American Mathematical Society (BULL) is devoted to research articles of the highest quality in all areas of pure and applied mathematics.

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

The 2020 MCQ for Bulletin of the American Mathematical Society is 0.47.

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.

 

Five stages of accepting constructive mathematics
HTML articles powered by AMS MathViewer

by Andrej Bauer PDF
Bull. Amer. Math. Soc. 54 (2017), 481-498 Request permission

Abstract:

On the odd day, a mathematician might wonder what constructive mathematics is all about. They may have heard arguments in favor of constructivism but are not at all convinced by them, and in any case they may care little about philosophy. A typical introductory text about constructivism spends a great deal of time explaining the principles and contains only trivial mathematics, while advanced constructive texts are impenetrable, like all unfamiliar mathematics. How then can a mathematician find out what constructive mathematics feels like? What new and relevant ideas does constructive mathematics have to offer, if any? I shall attempt to answer these questions.
References
Similar Articles
  • Retrieve articles in Bulletin of the American Mathematical Society with MSC (2010): 03F65
  • Retrieve articles in all journals with MSC (2010): 03F65
Additional Information
  • Andrej Bauer
  • Affiliation: Faculty of Mathematics and Physics, University of Ljubljana, Jadranska 19, SI-1000 Ljubljana, Slovenia
  • MR Author ID: 640857
  • Email: Andrej.Bauer@andrej.com
  • Received by editor(s): July 1, 2016
  • Published electronically: October 3, 2016
  • Additional Notes: This material is based upon work supported by the Air Force Office of Scientific Research, Air Force Materiel Command, USAF under Award No. FA9550-14-1-0096
  • © Copyright 2016 American Mathematical Society
  • Journal: Bull. Amer. Math. Soc. 54 (2017), 481-498
  • MSC (2010): Primary 03F65
  • DOI: https://doi.org/10.1090/bull/1556
  • MathSciNet review: 3662915