Carnegie Mellon University
Browse
- No file added yet -

Mathematics and Language

Download (183.54 kB)
journal contribution
posted on 2015-08-24, 00:00 authored by Jeremy AvigadJeremy Avigad

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.

History

Publisher Statement

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-21473-3_12

Date

2015-08-24

Usage metrics

    Categories

    Keywords

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC