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.
%0 Journal Article
%1 Bauer2010AcceptingConstructiveMath
%A Bauer, Andrej
%D 2016
%J Bulletin of the American Mathematical Society
%K constructive-mathematics constructivism mathematics
%R https://doi.org/10.1090/bull/1556
%T Five stages of accepting constructive mathematics
%X 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.
@article{Bauer2010AcceptingConstructiveMath,
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.},
added-at = {2016-12-09T19:26:42.000+0100},
author = {Bauer, Andrej},
biburl = {https://www.bibsonomy.org/bibtex/2518334c85bc9a66f717c3a90f89fe6d8/salotz},
description = {Bulletin of the American Mathematical Society},
doi = {https://doi.org/10.1090/bull/1556},
interhash = {bc0108a4e2fca7a3b036c8e77324a292},
intrahash = {518334c85bc9a66f717c3a90f89fe6d8},
journal = {Bulletin of the American Mathematical Society},
keywords = {constructive-mathematics constructivism mathematics},
timestamp = {2016-12-09T19:26:42.000+0100},
title = {Five stages of accepting constructive mathematics},
year = 2016
}