Please use this identifier to cite or link to this item:
|Title:||Mathematical semantics: a dual history? 1965-1975||Authors:||Loh, Yi Fong||Keywords:||Science::Mathematics::Mathematical logic
|Issue Date:||2022||Publisher:||Nanyang Technological University||Source:||Loh, Y. F. (2022). Mathematical semantics: a dual history? 1965-1975. Final Year Project (FYP), Nanyang Technological University, Singapore. https://hdl.handle.net/10356/156952||Abstract:||The consolidation of knowledge formations into academic disciplines is a gradual process, whose transition is marked by institutional entrenchment and a gain in external legitimacy. While there’s a consensus in the historical literature that computer science had emerged as a new academic discipline by the late 1960s in America, it remains unclear when computing research became a scientific discipline in the UK. This thesis focuses on a particular a research programme in formal semantics, known as mathematical semantics that emerged from collaboration in 1969, beginning with its institutional origins in the Oxford Programming Research Group from 1965. Mathematical semantics, also known as Scott-Strachey semantics, is argued to be a site of disciplinary consolidation of computing research in the UK into computing science by the early 1970s. This account draws on primarily on scientific publications, archival material, and heretofore disparate disciplinary histories to flesh out an intertwined history of science that conjoins the histories of computing and mathematics in understanding disciplinary consolidation. This is informed by a mathematical literature review of what is now called domain theory. In concluding, I discuss how my historical account and its historiography sheds light on the history of computer science, especially with regard to the history of formal methods that mathematical semantics is a part of how historians can bring technical and sociohistorical perspectives into closer conversation with each other.||URI:||https://hdl.handle.net/10356/156952||Fulltext Permission:||restricted||Fulltext Availability:||With Fulltext|
|Appears in Collections:||SPMS Student Reports (FYP/IA/PA/PI)|
Updated on Jun 30, 2022
Updated on Jun 30, 2022
Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.