Skip to main content

The Language of Mathematics

A Linguistic and Philosophical Investigation

  • Book
  • © 2013

Overview

  • Up-to-date results in parsing of the language of mathematics
  • Describes an application of semantic analysis to mathematical language
  • Contains results that can be of interest to computer scientists working in theorem proving and to linguists

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7805)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 16.99 USD 59.99
Discount applied Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 16.99 USD 79.99
Discount applied Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

The Language of Mathematics was awarded the E.W. Beth Dissertation Prize for outstanding dissertations in the fields of logic, language, and information. It innovatively combines techniques from linguistics, philosophy of mathematics, and computation to give the first wide-ranging analysis of mathematical language. It focuses particularly on a method for determining the complete meaning of mathematical texts and on resolving technical deficiencies in all standard accounts of the foundations of mathematics. "The thesis does far more than is required for a PhD: it is more like a lifetime's work packed into three years, and is a truly exceptional achievement." Timothy Gowers

Similar content being viewed by others

Keywords

Table of contents (9 chapters)

Reviews

Book is based on his dissertation work, which won the Association for Logic, Language, and Information’s 2011 Beth prize. … Ganesalingam’s work is thoughtful and thought-provoking. He gives an analysis of mathematical language at a depth not previously attempted, and the results are impressive. Beyond that, in the process he achieves the difficult task of bringing new insight to some very old questions in the philosophy of mathematics. I recommend the book to anyone with an interest in those questions.” (Kira Hamman, MAA Reviews, maa.org, May, 2016)

Authors and Affiliations

  • Trinity College, Cambridge, UK

    Mohan Ganesalingam

Bibliographic Information

Publish with us