David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are speciﬁc 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 ﬁrmer 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)|
No categories specified
(categorize this paper)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Michael Kohlhase, Towards Mkm in the Large: Modular Representation and Scalable Software Architecture.
Michael Kohlhase & Andrea Kohlhase, Reexamining the MKM Value Proposition: From Math Web Search to Math Web Research.
Andrew Aberdein (2006). Managing Informal Mathematical Knowledge: Techniques From Informal Logic. Lecture Notes in Artificial Intelligence 4108:208--221.
Michael Kohlhase & Andrea Kohlhase, Spreadsheet Interaction with Frames: Exploring a Mathematical Practice.
Otávio Bueno (2008). Truth and Proof. Manuscrito 31 (1):419-440.
Michael Kohlhase, Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge.
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.
Added to index2010-12-22
Total downloads82 ( #57,935 of 1,932,583 )
Recent downloads (6 months)4 ( #225,622 of 1,932,583 )
How can I increase my downloads?