An Exploration in the Space of Mathematical Knowledge
| Abstract | Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and content of knowledge, about its structure, and epistemological nature that shape the MKM systems, but a conceptual model is missing. In this paper we try to rationalize this discussion to give MKM a firmer footing, to start a discussion among MKM researchers and help relate the MKM intuitions and discourses to other communities. Starting from the observation that many concrete realizations of mathematical knowledge objects are considered equivalent, we propose a conceptual model of the space of (mathematical) knowledge objects graded by levels of abstraction and presentational explicitness and draw conclusions for MKM markup formats | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
|
| Through your library | Only published papers are available at libraries |
Andrew Aberdein (2006). Managing Informal Mathematical Knowledge: Techniques From Informal Logic. Lecture Notes in Artificial Intelligence 4108:208--221.
Otávio Bueno (2008). Truth and Proof. Manuscrito 31 (1).
Michael Potter (2007). What is the Problem of Mathematical Knowledge? In Michael Potter, Mary Leng & Alexander Paseau (eds.), Mathematical Knowledge.
Mary Leng, Alexander Paseau & Michael D. Potter (eds.) (2007). Mathematical Knowledge. Oxford University Press.
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-12-22Total downloads1 ( #274,556 of 548,984 )Recent downloads (6 months)0How can I increase my downloads? |

