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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ausbrooks, R., Buswell, S., Carlisle, D., Dalmas, S., Devitt, S., Diaz, A., Froumentin, M., Hunter, R., Ion, P., Kohlhase, M., Miner, R., Poppelier, N., Smith, B., Soiffer, N., Sutor, R., Watt, S.: Mathematical Markup Language (MathML) version 2.0 (second edition). W3c recommendation, World Wide Web Consortium (2003), Available at, http://www.w3.org/TR/MathML2
Buswell, S., Caprotti, O., Carlisle, D.P., Dewar, M.C., Gaetano, M., Kohlhase, M.: The Open Math standard, version 2.0. Technical report, The Open Math Society (2004), http://www.openmath.org/standard/om20
Brown, J.S., Duguid, P.: Organizational Learning and Communities of Practice:Toward a Unified View of working, Learning and Innovation. Organization Science 2(1), 40–57 (1991)
Brown, J.S., Duguid, P.: The Social Life of Information. Harvard Business School Press, Boston (2000)
Benacerraf, P., Putnam, H. (eds.): Philosophy of Mathematics: Selected Readings, 2nd edn, 1983rd edn. Cambridge University Press, Cambridge (1964)
Connexions. Project home page at seen (January 2005), http://cnx.rice.edu/
Cheikhrouhou, L., Sorge, V.: Planning equivalence proofs. In: Workshop on Using AI Methods in Deduction at CADE-15 (1998)
Davenport, T.H., Prusak, L.: Working Knowledge, 2000th edn. Harvard Business School Press, Boston (1998)
Farmer, W.: An infrastructure for intertheory reasoning. In: McAllester, D. (ed.) CADE 2000. LNCS, vol. 1831, pp. 115–131. Springer, Heidelberg (2000)
Hall, M.: The Theory of Groups. The Macmillan Company, New York (1959)
Henry, G., Baraniuk, R.G., Kelty, C.: The connexions project: Promoting open sharing of knowledge for education. In: Syllabus, Technology for Higher Education (2003)
Heintz, B.: die innenwelt der mathematik. zur kultur und praxis einer beweisenden disziplin. Springer, Wien (2000)
Hutter, D.: Towards a generic management of change. In: Benzmüller, C., Windsteiger, W. (eds.) Computer-Supported Mathematical Theory Development. Proceedings of the first Workshop on Computer-Supported Mathematical Theory Development held in the frame of IJCAR 2004, Cork, Ireland, RISC Institute, University of Linz, July 5. 04-14 in RISC Report Series, pp. 7–18 (2004), Available at http://www.risc.uni-linz.ac.at/about/conferences/IJCAR-WS7/ , ISBN 3-902276-04-5
Israel, J.: The Language of Dialectics and the Dialectics of Language. In: Munksgaard, 1st edn. Humanities Press, USA (1979) (American), ISBN 0 391 01000X
Kohlhase, M., Anghelache, R.: Towards collaborative content management and version control for structured mathematical knowledge. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) MKM 2003. LNCS, vol. 2594, pp. 147–161. Springer, Heidelberg (2003)
Krieg-Brückner, B., Hutter, D., Lindow, A., Lüth, C., Mahnke, A., Melis, E., Meier, P., Poetzsch-Heffter, A., Roggenbach, M., Russell, G., Smaus, J.-G., Wirsing, M.: Multimedia instruction in safe and secure systems. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 82–117. Springer, Heidelberg (2003)
Kargapolov, M.I., Merzljakov, J.I.: Fundamentals of the Theory of Groups. Graduate Texts in Mathematics. Springer, Heidelberg (1979)
Kohlhase, M.: OMDoc: Open mathematical documents. In: Kohlhase, M. (ed.) OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180, pp. 25–32. Springer, Heidelberg (2006), http://www.mathweb.org/omdoc/omdoc1.2.ps
Kohlhase, M.: Semantic markup for TeX/LaTeX. Manuscript (2005), available at http://kwarc.eecs.iu-bremen.de/software/stex
Lave, J., Wenger, E.: Situated Learning: Legitimate Peripheral Participation (Learning in Doing: Social, Cognitive and Computational Perspectives S). Cambridge University Press, Cambridge (1991)
Mahnke, A., Krieg-Brückner, B.: Literate ontology development. In: Meersman, R., Tari, Z., Corsaro, A. (eds.) OTM-WS 2004. LNCS, vol. 3292, pp. 753–757. Springer, Heidelberg (2004)
Papert, S.: An Exploration in the Space of Mathematics Educations. International Journal of Computers for Mathematical Learning 1(1), 95–123 (1996)
Probst, G., Raub, S., Romhardt, K.: Wissen managen, 4(2003) edn. Gabler (1997)
Robinson, J.A.: Formal and informal proofs. In: Boyer, R.S. (ed.) Automated Reasoning: Essays in Honor of Woody Bledsoe, pp. 267–282. Kluwer, London (1991)
Siekmann, J., Benzmüller, C., Fiedler, A., Franke, A., Goguadze, G., Horacek, H., Kohlhase, M., Libbrecht, P., Meier, A., Melis, E., Pollet, M., Sorge, V., Ullrich, C., Zimmer, J.: Adaptive course generation and presentation. In: Brusilovski, P. (ed.) PROC of the Fifth International Conference on Intelligent Tutoring Systems—Workshop W2: Adaptive and Intelligent Web-Based Education Systems, Montreal, pp. 54–61 (2000)
Wenger, E., McDermott, R.A., Snyder, W.: Cultivating of Communities of Practice. Harvard Business School Press, Boston (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kohlhase, A., Kohlhase, M. (2006). An Exploration in the Space of Mathematical Knowledge. In: Kohlhase, M. (eds) Mathematical Knowledge Management. MKM 2005. Lecture Notes in Computer Science(), vol 3863. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11618027_2
Download citation
DOI: https://doi.org/10.1007/11618027_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-31430-1
Online ISBN: 978-3-540-31431-8
eBook Packages: Computer ScienceComputer Science (R0)