Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  MATHEMATICAL KNOWLEDGE MANAGEMENT
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

A LANGUAGE FOR MATHEMATICAL KNOWLEDGE MANAGEMENT

100%
Kieffer S., Avigad J., Friedman H.
Studies in Logic, Grammar and Rhetoric
|
2009
|
issue 18(31)
51-66
EN
We argue that the language of Zermelo Fraenkel set theory with definitions and partial functions provides the most promising bedrock semantics for communicating and sharing mathematical knowledge. We then describe a syntactic sugaring of that language that provides a way of writing remarkably readable assertions without straying far from the set-theoretic semantics. We illustrate with some examples of formalized textbook definitions from elementary set theory and point-set topology. We also present statistics concerning the complexity of these definitions, under various complexity measures.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.