The Language of Mathematics

A Linguistic and Philosophical Investigation

  • Mohan¬†Ganesalingam

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

Table of contents

  1. Front Matter
  2. Mohan Ganesalingam
    Pages 1-15
  3. Mohan Ganesalingam
    Pages 17-38
  4. Mohan Ganesalingam
    Pages 39-85
  5. Mohan Ganesalingam
    Pages 87-112
  6. Mohan Ganesalingam
    Pages 113-156
  7. Mohan Ganesalingam
    Pages 157-173
  8. Mohan Ganesalingam
    Pages 175-235
  9. Mohan Ganesalingam
    Pages 237-247
  10. Mohan Ganesalingam
    Pages 249-252
  11. Back Matter

About this book

Introduction

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

Keywords

computational linguistics foundations of mathematics mathematical language philosophy of mathematics semantics

Authors and affiliations

  • Mohan¬†Ganesalingam
    • 1
  1. 1.Trinity CollegeCambridgeUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-37012-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-37011-3
  • Online ISBN 978-3-642-37012-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book