Martin Davis
Biographic Data
| ID | 4011348 |
|---|---|
| NAME | Martin Davis |
| GIVEN NAMES | Martin |
| FAMILY NAME | Davis |
| SIGNATURE | DAVIS M |
| AFFILIATIONS | Canterbury Christ Church University |
| ORCID | 0000-0001-6621-8115 |
| VERIFIED | Yes |
| TOTAL WORKS | 7 |
| TOTAL CITATIONS | 3 |
| WORKS AS AUTHOR | 7 |
| WORKS AS EDITOR | 0 |
| FIRST PUBLICATION YEAR | 2002 |
| LATEST PUBLICATION YEAR | 2025 |
| H-INDEX | 1 |
Digital Technology and the Future of Map History
A Cartographic Analysis of Soviet Military City Plans
The Universal Computer
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 Universal Computer
The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, 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 story begins with Lei…
War Map
War Map: Pictorial Conflict Maps 1900–1950. By Philip Curtis and Jakob Søndergård Pedersen." Imago Mundi, 69(2), pp. 267–268
Mistaken Ancestry
The punched-card-driven loom introduced by Joseph-Marie Jacquard in the early years of the nineteenth century was the culmination of a number of efforts to mechanize the tedious work of manipulating the separate threads in a draw loom. The data constituting the desired pattern were introduced to the loom via a set of cards with punched holes. Noting the use of punched cards with the computers of the 1960s and also the fact that the intrinsic bina…
Student housing
The provision of student housing since the post-Robbins expansion of higher education has followed no easily discernible policy path. With the post-1992 continued expansion of the sector, many questions are now being asked about student accommodation; not least as to by whom it should be provided and what the tenurial status of its occupants should be. However, central government policy on this issue seems unformulated or, at best, uncoordinated …
Student housing
The provision of student housing since the post-Robbins expansion of higher education has followed no easily discernible policy path. With the post-1992 continued expansion of the sector, many questions are now being asked about student accommodation; not least as to by whom it should be provided and what the tenurial status of its occupants should be. However, central government policy on this issue seems unformulated or, at best, uncoordinated …
Student housing
The provision of student housing since the post-Robbins expansion of higher education has followed no easily discernible policy path. With the post-1992 continued expansion of the sector, many questions are now being asked about student accommodation; not least as to by whom it should be provided and what the tenurial status of its occupants should be. However, central government policy on this issue seems unformulated or, at best, uncoordinated …
Mistaken Ancestry
The punched-card-driven loom introduced by Joseph-Marie Jacquard in the early years of the nineteenth century was the culmination of a number of efforts to mechanize the tedious work of manipulating the separate threads in a draw loom. The data constituting the desired pattern were introduced to the loom via a set of cards with punched holes. Noting the use of punched cards with the computers of the 1960s and also the fact that the intrinsic bina…
War Map
War Map: Pictorial Conflict Maps 1900–1950. By Philip Curtis and Jakob Søndergård Pedersen." Imago Mundi, 69(2), pp. 267–268
The Universal Computer
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 Universal Computer
The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, 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 story begins with Lei…
A Cartographic Analysis of Soviet Military City Plans
Digital Technology and the Future of Map History
Computer Science (3 works) · Cartography (2 works) · Geography (2 works) · History (2 works) · Multimedia Communication and Technology (2 works) · Political science (2 works) · 3D Surveying and Cultural Heritage (1 work) · Accommodation (1 work) · Ancient history (1 work) · Archaeological Research and Protection (1 work)