This paper is meant to be the beginning of a project that examines the use of abstract mathematics and the changing ontology of mapmaking in the early years of the development of computer cartography. The history of the conceptual developments that took place during this revolutionary period in the history of mapmaking is both controversial and incomplete. Much of the primary source material has yet to be examined by historians, residing as it does in obscure journals, government archives and in obsolete software. This study provides a look at one example of this conceptual development in the early years of computer cartography through a close reading of two papers on existence theorems published by the Harvard Laboratory for Computer Graphics and Spatial Analysis. It attempts to highlight the changing conceptual and mathematical foundations of mapmaking during this period and in doing so provides a case study for the difficulties that historians of modern cartography face in researching this critical period in its history
