Digitisation, representation, and formalisation - Digital libraries of mathematics

One of the main tasks of the mathematical knowledge management community must surely be to enhance access to mathematics on digital systems. In this paper we present a spectrum of approaches to solving the various problems inherent in this task, arguing that a variety of approaches is both necessary and useful. The main ideas presented are about the differences between digitised mathematics, digitally represented mathematics and formalised mathematics. Each has its part to play in managing mathematical information in a connected world. Digitised material is that which is embodied in a computer file, accessible and displayable locally or globally. Represented material is digital material in which there is some structure (usually syntactic in nature) which maps to the mathematics contained in the digitised information. Formalised material is that in which both the syntax and semantics of the represented material, is automatically accessible. Given the range of mathematical information to which access is desired, and the limited resources available for managing that information, we must ensure that these resources are applied to digitise, form representations of or formalise, existing and new mathematical information in such a way as to extract the most benefit from the least expenditure of resources. We also analyse some of the various social and legal issues which surround the practical tasks.

Models, mathematics and meaning in interdisciplinary research

Interdisciplinary research presents particular challenges for unambiguous communication. Frequently, the meanings of words differ markedly between disciplines, leading to apparent consensus masking fundamental misunderstandings. Researchers can agree on the need for models, but conceive of models fundamentally differently. While mathematics is frequently seen as an elitist language reinforcing disciplinary distinctions, both mathematics and modelling can also offer scope to bridge disciplinary epistemological divisions and create common ground on which very different disciplines can meet. This paper reflects on the role and scope for mathematics and modelling to present a common epistemological space in interdisciplinary research spanning the social, natural and engineering sciences.

A situation analysis of the food control systems in Arab Gulf Cooperation Council (GCC) countries

Increased concerns over food safety have led to the adoption of international guidance on the key elements for national food control systems. This guidance had been used to conduct an initial assessment of the status of the food control systems in the countries belonging to the Gulf Cooperation Council. Our research has identified how the countries have been attempting to enhance their food control systems. Although the countries have different approaches to food control management, cooperation is leading to increased harmonization of legislation and food control practices. Progress is being made but there is evidence of some weakness where additional efforts may be needed. (c) 2009 Elsevier Ltd. All rights reserved.

E-governments' role activation in arab countries

This paper discusses the activating role of e-Governments in the Arab countries, by seeking new rules and innovative ways to provide services to the public sector. It starts from the analysis of different stages and dimensions of e-government through better understanding of the phenomenon and investment of opportunities in Information Technology in order to develop the role of governments and departments of public affairs particularly in Arab countries. In the developing countries most of the Arab governments may be doing their best to deliver the best services they can offer but with low level of efficiency and high cost. This raised many questions about productivity and performance of government agencies; the problem of low productivity and poor performance in the government sector that affected individuals and administrative units. This paper aims to analyze the different stages, concepts and dimensions of e-government and to understand the opportunities that information technology offers, especially in Arab countries in order to develop the government role as well as public affairs administration system.

Reading Derrida on mathematics

This article engages with the claims of Anne Brubaker that “[n]ow that the dust has settled after the so-called ‘Science Wars’ […] it is an opportune time to reassess the ways in which poststructural theory both argues persuasively for mathematics as a culturally embedded practice – a method as opposed to a metaphysics – and, at the same time, reinscribes realist notions of mathematics as a noise-free description of a mind independent reality.” Through a close re-reading of Jacques Derrida’s work I argue, in alliance with Vicki Kirby’s critique of the work of Brian Rotman, not only that Brubaker misunderstands Derrida’s “writing” but also that her argument constitutes a typical instance of much wider misreadings of Derrida and “poststructuralism” across a range of disciplines in terms of the ways in which her text re-institutes the very stabilities it itself attributes to Derrida’s texts.