The language of mathematics. A linguistic and philosophical investigation

DOI10.1007/978-3-642-37012-0zbMath1271.03004OpenAlexW4251347492WikidataQ61458335 ScholiaQ61458335MaRDI QIDQ1940486

Mohan Ganesalingam

Publication date: 7 March 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37012-0

zbMATH Keywords

type inference systemcontext-free generative grammardiscourse theorythe language of mathematicstyped parsing system

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Grammars and rewriting systems (68Q42) Natural language processing (68T50) Research exposition (monographs, survey articles) pertaining to mathematics in general (00-02)

Related Items

A fully automatic theorem prover with human-style output, Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues, Part-of-math tagging and applications, High-level modelling for typed functional programming, Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation, ProofLang: the language of arXiv proofs, Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution, Premise Selection in the Naproche System, Translating between Language and Logic: What Is Easy and What Is Difficult, Parsing and Disambiguation of Symbolic Mathematics in the Naproche System