The language of mathematics. A linguistic and philosophical investigation

DOI10.1007/978-3-642-37012-0MaRDI QIDQ1940486zbMATHOpenAlexWikidataFDO

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

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)

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

Cited in

(19)

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

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)