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.

The first international workshop on the role and impact of mathematics in medicine: a collective account

The First International Workshop on The Role and Impact of Mathematics in Medicine (RIMM) convened in Paris in June 2010. A broad range of researchers discussed the difficulties, challenges and opportunities faced by those wishing to see mathematical methods contribute to improved medical outcomes. Finding mechanisms for inter- disciplinary meetings, developing a common language, staying focused on the medical problem at hand, deriving realistic mathematical solutions, obtaining

Conjecture, proof, and sense in Wittgenstein's philosophy of mathematics

One of the key tenets in Wittgenstein’s philosophy of mathematics is that a mathematical proposition gets its meaning from its proof. This seems to have the paradoxical consequence that a mathematical conjecture has no meaning, or at least not the same meaning that it will have once a proof has been found. Hence, it would appear that a conjecture can never be proven true: for what is proven true must ipso facto be a different proposition from what was only conjectured. Moreover, it would appear impossible that the same mathematical proposition be proven in different ways. — I will consider some of Wittgenstein’s remarks on these issues, and attempt to reconstruct his position in a way that makes it appear less paradoxical.

Transition of pupils from Key Stage 2 to 3 deemed gifted and talented in mathematics: an initial study

In this article Geoff Tennant and Dave Harries report on the early stages of a research project looking to examine the transition from Key Stage (KS) 2 to 3 of children deemed Gifted and Talented (G&T) in mathematics. An examination of relevant literature points towards variation in definition of key terms and underlying rationale for activities. Preliminary fieldwork points towards a lack of meaningful communication between schools, with primary school teachers in particular left to themselves to decide how to work with children deemed G&T. Some pointers for action are given, along with ideas for future research and a request for colleagues interested in working with us to get in touch.

The Mathematics of Control Theory

This text contains papers presented at the Institute of Mathematics and its Applications Conference on Control Theory, held at the University of Strathclyde in Glasgow. The contributions cover a wide range of topics of current interest to theoreticians and practitioners including algebraic systems theory, nonlinear control systems, adaptive control, robustness issues, infinite dimensional systems, applications studies and connections to mathematical aspects of information theory and data-fusion.

Spin spaces and positive decomposition of linear maps on ordered Banach spaces

Spin factors and generalizations are used to revisit positive generation of B(E, F), where E and F are ordered Banach spaces. Interior points of B(E, F)+ are discussed and in many cases it is seen that positive generation of B(E, F) is controlled by spin structure in F when F is a JBW-algebra.

Abstracts of communications: Proceedings of the thirty-nineth meeting of the Agricultural Research Modellers' Group

This group, which is concerned with the applications of mathematics to agricultural science, was formed in 1970 and has since met at approximately yearly intervals in London for one-day meetings. The thirty-ninth meeting of the group, chaired by Professor N. Crout of the University of Nottingham, was held in the Kohn Centre at the Royal Society, 6 Carlton House Terrace, London on Friday, 30 March 2007 when the following papers were read.

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.

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.