The language of mathematics. A linguistic and philosophical investigation
Publication:1940486
DOI10.1007/978-3-642-37012-0zbMATH Open1271.03004OpenAlexW4251347492WikidataQ61458335 ScholiaQ61458335MaRDI QIDQ1940486FDOQ1940486
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
type inference systemcontext-free generative grammardiscourse theorythe language of mathematicstyped parsing system
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 (16)
- 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
- Premise Selection in the Naproche System
- Title not available (Why is that?)
- Title not available (Why is that?)
- Part-of-math tagging and applications
- Translating between Language and Logic: What Is Easy and What Is Difficult
- 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
- Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution
- Title not available (Why is that?)
- 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.
- Book review of: R. L. Baber, The language of mathematics
- ProofLang: the language of arXiv proofs
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)
