The language of mathematics. A linguistic and philosophical investigation

DOI10.1007/978-3-642-37012-0zbMATH Open1271.03004OpenAlexW4251347492WikidataQ61458335 ScholiaQ61458335MaRDI QIDQ1940486FDOQ1940486

Authors: 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

Recommendations

• scientific article; zbMATH DE number 1129259
• The language of mathematics. Utilizing math in practice
• Parsing and disambiguation of symbolic mathematics in the Naproche system
• The mathematics of language
• A refinement of de Bruijn's formal language of mathematics

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cited In (19)

• High-level modelling for typed functional programming
• Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
• A fully automatic theorem prover with human-style output
• Type reconstruction for \(\lambda\)-DRT applied to pronoun resolution
• Title not available (Why is that?)
• Title not available (Why is that?)
• Part-of-math tagging and applications
• Syntactic categories in the language of mathematics
• Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
• Erich Kähler's Vision of Mathematics as a Universal Language
• Premise selection in the Naproche system
• Title not available (Why is that?)
• A refinement of de Bruijn's formal language of mathematics
• The language of mathematics. Utilizing math in practice
• Translating between language and logic: what is easy and what is difficult
• Mohan Ganesalingam.The Language of Mathematics: A Linguistic and Philosophical Investigation.FoLLI Publications on Logic, Language and Information.
• Book review of: R. L. Baber, The language of mathematics
• ProofLang: the language of arXiv proofs
• Parsing and disambiguation of symbolic mathematics in the Naproche system

This page was built for publication: The language of mathematics. A linguistic and philosophical investigation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1940486)