Off-campus access
Using PhilPapers from home?
Click here to configure this browser for off-campus access.
- Michael Kohlhase, Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge.We propose an infrastructure for collaborative content management and version control for structured mathematical knowledge. This will enable multiple users to work jointly on mathematical theories with minimal interference. We describe the API and the functionality needed to realize a cvs-like version control and distribution model. This architecture extends the cvs architecture in two ways, motivated by the specific needs of distributed management of structured mathematical knowledge on the Internet. On the one hand the one-level client/server model of cvs is generalized to a multi-level graph of client/server relations, and on the other hand the underlying change-detection tools take the math-specific structure of the data into account.No categoriesIn my reading list | Discuss this article | Edit | Categorize |My bibliography
| Export citation | Scholar
Discussion of Michael Kohlhase, Towards collaborative content management and version control for structured mathematical knowledge
Nothing in this forum yet.
Similar books and articles
The interest of the field of Mathematical Knowledge Management is predicated on the assumption that by investing into markup or formalization of mathematical knowledge, we can reap benefits in managing (creating, classifying, reusing, verifying, and finding) mathematical theories, statements, and objects. This global value proposition has been used to motivate the pursuit of technologies that can add machine support to these knowledge management tasks. But this (rather naive) technology-centered motivation takes a view merely from the global (macro) perspective, and almost (...)
No categories
Version Control systems like CVS and Subversion have transformed collaboration workflows in software engineering, and made possible the globally distributed project teams we know from the Open Source Phenomenon. On the other hand, XML is coming of age as a basis for document formats, and even though XML as a text-based format is amenable to version control in principle, the fact that version control systems work on files makes difficult the integration of fragment access techniques like XPath, XQuery that are (...)
No categories
Current versions of nominalism in the philosophy of mathematics face a significant problem to understand mathematical knowledge. They are unable to characterize mathematical knowledge as knowledge of the objects mathematical theories are taken to be about. Oswaldo Chateaubriand’s insightful reformulation of Platonism (Chateaubriand 2005) avoids this problem by advancing a broader conception of knowledge as justified truth beyond a reasonable doubt, and by introducing a suitable characterization of logical form in which the relevant mathematical facts play an important role in (...)
A study of stage structured model of fish population is presented. This model focuse on the anchovy population in the Bay of Biscay (Engraulis encrasicolus L.) is presented. The method of study is based on an intermediate complexity mathematical model, taking into account the spatialisation, the environmental conditions and the stage-structure of the fishes. First, to test the model, we show mathematical properties, such as unicity of the solution of structural stability. Then we provide numerical simulations, to validate the model (...)
This paper attempts to show that mathematical knowledge does not grow by a simple process of accumulation and that it is possible to provide a quasi-empirical (in Lakatos's sense) account of mathematical theories. Arguments supporting the first thesis are based on the study of the changes occurred within Eudidean geometry from the time of Euclid to that of Hilbert; whereas those in favour of the second arise from reflections on the criteria for refutation of mathematical theories.
Penelope Maddy has defended a modified version of mathematical platonism that involves the perception of some sets. Frederick Suppe has developed a conclusive reasons account of empirical knowledge that, when applied to the sets of interest to Maddy, yields that we have knowledge of these sets. Thus, Benacerraf's challenge to the platonist to account for mathematical knowledge has been met, at least in part. Moreover, it is argued that the modalities involved in Suppe's conclusive reasons account of knowledge can be (...)
The philosophy of mathematics plays an important role in analytic philosophy, both as a subject of inquiry in its own right, and as an important landmark in the broader philosophical landscape. Mathematical knowledge has long been regarded as a paradigm of human knowledge with truths that are both necessary and certain, so giving an account of mathematical knowledge is an important part of epistemology. Mathematical objects like numbers and sets are archetypical examples of abstracta, since we treat such objects in (...)
In my reading list
| Discuss this article | Edit | Categorize | My bibliography | Export citation | Other links: andrew.cmu.edu | Scholar | More..
| | Other links: andrew.cmu.edu | Scholar | More.. The notion of nonconceptual content in Dienes & Perner's theory is examined. A subject may be in a state with nonconceptual content without having the concepts that would be used to describe the state. Nonconceptual content does not seem to be a clear-cut case of either implicit or explicit knowledge. It underlies a kind of practical knowledge, which is not reducible to procedural knowledge, but is accessible to the subject and under voluntary control.
It is often assumed that empiricism in the philosophy of mathematics was laid to rest by Frege’s stinging attack on Mill. I will argue that empiricism is alive and well and able to deal with almost everything that’s thrown at it. In particular, I will show how the brand of empiricism I subscribe to is able to give a satisfying account of mathematical knowledge. This brand of mathematical empiricism has a rather curious feature though: some parts of mathematics (e.g., analysis, (...)
No categories
The E-Z Reader model (Reichle et al. 1998; 1999) provides a theoretical framework for understanding how word identification, visual processing, attention, and oculomotor control jointly determine when and where the eyes move during reading. In this article, we first review what is known about eye movements during reading. Then we provide an updated version of the model (E-Z Reader 7) and describe how it accounts for basic findings about eye movement control in reading. We then review several alternative models of (...)
No categories
