The work of writing programs: logic and inscriptive practice in the history of computing
This article explores the entanglement of logic and computing by focusing on the activity of writing. Though mathematical logic is sometimes cast as the immaterial spirit of the computers material body, the study of logic also takes place in the physical world through the manipulation of symbols on...
Main Author: | |
---|---|
Format: | Journal article |
Language: | English |
Published: |
Institute of Electrical and Electronics Engineers
2021
|
_version_ | 1797085284886642688 |
---|---|
author | Dunning, DE |
author_facet | Dunning, DE |
author_sort | Dunning, DE |
collection | OXFORD |
description | This article explores the entanglement of logic and computing by focusing on the activity of writing. Though mathematical logic is sometimes cast as the immaterial spirit of the computers material body, the study of logic also takes place in the physical world through the manipulation of symbols on paper. Already in the nineteenth century, mathematical logic was understood to be related to mechanization, though not as the science behind an as-yet-uninvented technology. Rather, symbolic notations were seen as tools that opened possibilities but required new kinds of work. Turning to early electronic computing in the 1950s, I observe that researchers similarly relied on novel inscriptive techniques to mitigate labor. Finally, considering Charles Hamblins Reverse Polish Notation, I show how logic was a source of notational invention, emerging as a practical resource for the work of writing programs independently of its role as a plausible theoretical foundation for computer science.
|
first_indexed | 2024-03-07T02:06:44Z |
format | Journal article |
id | oxford-uuid:9f4195c5-1b4f-4567-a847-be5171f92b65 |
institution | University of Oxford |
language | English |
last_indexed | 2024-03-07T02:06:44Z |
publishDate | 2021 |
publisher | Institute of Electrical and Electronics Engineers |
record_format | dspace |
spelling | oxford-uuid:9f4195c5-1b4f-4567-a847-be5171f92b652022-03-27T00:56:02ZThe work of writing programs: logic and inscriptive practice in the history of computingJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:9f4195c5-1b4f-4567-a847-be5171f92b65EnglishSymplectic ElementsInstitute of Electrical and Electronics Engineers2021Dunning, DEThis article explores the entanglement of logic and computing by focusing on the activity of writing. Though mathematical logic is sometimes cast as the immaterial spirit of the computers material body, the study of logic also takes place in the physical world through the manipulation of symbols on paper. Already in the nineteenth century, mathematical logic was understood to be related to mechanization, though not as the science behind an as-yet-uninvented technology. Rather, symbolic notations were seen as tools that opened possibilities but required new kinds of work. Turning to early electronic computing in the 1950s, I observe that researchers similarly relied on novel inscriptive techniques to mitigate labor. Finally, considering Charles Hamblins Reverse Polish Notation, I show how logic was a source of notational invention, emerging as a practical resource for the work of writing programs independently of its role as a plausible theoretical foundation for computer science. |
spellingShingle | Dunning, DE The work of writing programs: logic and inscriptive practice in the history of computing |
title | The work of writing programs: logic and inscriptive practice in the history of computing |
title_full | The work of writing programs: logic and inscriptive practice in the history of computing |
title_fullStr | The work of writing programs: logic and inscriptive practice in the history of computing |
title_full_unstemmed | The work of writing programs: logic and inscriptive practice in the history of computing |
title_short | The work of writing programs: logic and inscriptive practice in the history of computing |
title_sort | work of writing programs logic and inscriptive practice in the history of computing |
work_keys_str_mv | AT dunningde theworkofwritingprogramslogicandinscriptivepracticeinthehistoryofcomputing AT dunningde workofwritingprogramslogicandinscriptivepracticeinthehistoryofcomputing |