A language for mathematical knowledge management

Details A language for mathematical knowledge management A language for mathematical knowledge management

2008-05-09

arxiv.org/abs/0805.1386v3

Studies in Logic, Grammar and Rhetoric, 18:51-66, 2009

Computer Science

Logic in Computer Science

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

A language for mathematical knowledge management does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A language for mathematical knowledge management, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A language for mathematical knowledge management will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-332685