2013 | OriginalPaper | Buchkapitel
Introduction
verfasst von : Mohan Ganesalingam
Erschienen in: The Language of Mathematics
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The aim of this book is to give a formal, objective and above all precise analysis of the language used by mathematicians in textbooks and papers. Our analysis will closely parallel the analyses of human languages by syntacticians and semanticians in the generative tradition. In particular, it will let us take mathematical sentences, determine their syntactic structure, and extract their underlying meaning in an appropriate logic.