Abstract
We assert that, from a pragmatic point of view, mathematicians treat mathematical objects as if they were real. If a theory is consistent, theorems are discovered (sometimes with analyses not necessarily different from those applied in sciences) and proofs are invented; modern technology cannot exist without accepting the law of excluded middle; a constructive proof may provide new ideas or methods but, from a mathematical point of view, a non-constructive proof is as sound as a constructive one. Accordingly, no mathematician, pure or applied, gets by without the axiom of choice; on the other hand, although different theorems and objects may appear depending on the acceptance or not of the continuum hypothesis, no important theorem applicable to the real world exists – at least until now – which depends on accepting or not this hypothesis. Mathematical objects built by applied mathematicians are often as useful as physical objects, even those objects created via computer-assisted or probabilistic methods.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: Metatheoria – Revista de Filosofía e Historia de la Ciencia
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.