Martin Davis – författare

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age – the logicians.

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age – the logicians.

In his rich and varied career as a mathematician, computer scientist, and educator, Jacob T. Schwartz wrote seminal works in analysis, mathematical economics, programming languages, algorithmics, and computational geometry. In this volume of essays, his friends, students, and collaborators at the Courant Institute of Mathematical Sciences present recent results in some of the fields that Schwartz explored: quantum theory, the theory and practice of programming, program correctness and decision procedures, dextrous manipulation in Robotics, motion planning, and genomics. In addition to presenting recent results in these fields, these essays illuminate the astonishingly productive trajectory of a brilliant and original scientist and thinker.

The collapse of the Soviet Union has seen the emergence of its unprecedentedly comprehensive global secret military mapping project and the commercial availability of a vast number of detailed topographic maps and city plans at several scales. This thesis provides an in-depth examination of the series of over 2,000 large-scale city plans produced in secret by the Military Topographic Directorate (Военное топографическое управление) of the General Staff between the end of the Second World War and the collapse of the USSR in 1991. After positioning the series in its historical context, the nature and content of the plans are examined in detail. A poststructuralist perspective introduces possibilities to utilise and apply the maps in new contexts, which this thesis facilitates by providing a systematic, empirical analysis of the Soviet map symbology at 1:10,000 and 1:25,000, using new translations of production manuals and a sample of the city plans. A comparative analysis with the current OpenStreetMap symbology indicates scope for Soviet mapping to be used as a valuable supplementary topographic resource in a variety of existing and future global mapping initiatives, including humanitarian crisis mapping. This leads to a conclusion that the relevance and value of Soviet military maps endure in modern applications, both as a source of data and as a means of overcoming contemporary cartographic challenges relating to symbology, design and the handling of large datasets.