2013 | OriginalPaper | Buchkapitel
Theoretical Framework
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
Our syntactic framework for mathematics will be shaped by two major concerns. First, the framework will need to allow for the introduction of new terms and notation via definitions (§2.2); and we would like to be able to describe the effect of those definitions in an simple, consistent way. It would also be advantageous if the mechanism describing definitions could treat textual and symbolic material in essentially the same fashion. Thus adaptivity leads us to want a syntactic framework that is as simple as possible, and that describes text and symbol in a unified way.