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.

Social politics in a transoceanic world in the early Cold War years

This article argues that those termed 'liberals' in the United States had the opportunity in the late 1940's to use overseas case studies to reshape the ramshackle political agenda of the New Deal along more specifically social democratic lines, but hat they found it impossible to match interest in the wider world with a concrete programme to overcome tension between left-wing politics and the emerging anti-totalitarianism of the Cold War. The American right, by contrast, conducted a highly organised publicity drive to provide new meaning for their anti-statist ideology in a post-New Deal, post-isolationist United States by using perceived failures of welfare states overseas as domestic propaganda. The examples of Labour Britain after 1945 and Labour New Zealand both provided important case studies for American liberals and conservatives, but in the Cold War it was the American right who would benefit most from an ideologically driven repackaging of overseas social policy for an American audience.