Mathematics and language

2Citations
Citations of this article
42Readers
Mendeley users who have this article in their library.
Get full text

Abstract

This essay considers the special character of mathematical reasoning, and draws on observations from interactive theorem proving and the history of mathematics to clarify the nature of formal and informal mathematical language. It proposes that we view mathematics as a system of conventions and norms that is designed to help us make sense of the world and reason efficiently. Like any designed system, it can perform well or poorly, and the philosophy of mathematics has a role to play in helping us understand the general principles by which it serves its purposes well.

Cite

CITATION STYLE

APA

Avigad, J. (2015). Mathematics and language. In Mathematics, Substance and Surmise: Views on the Meaning and Ontology of Mathematics (pp. 235–255). Springer International Publishing. https://doi.org/10.1007/978-3-319-21473-3_12

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free