PP-2010-04: The Advent of Recursion in Programming, 1950s-1960s

PP-2010-04: Daylight, Edgar G. (2010) The Advent of Recursion in Programming, 1950s-1960s. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
PP-2010-04.text.pdf

Download (112kB) | Preview
[thumbnail of Abstract] Text (Abstract)
PP-2010-04.abstract.txt

Download (1kB)

Abstract

The term `recursive' has had different meanings during the past two
centuries among various communities of scholars. Its historical
epistemology has already been described by Soare (1996) with respect
to the mathematicians, logicians, and recursive-function
theorists. The computer practitioners, on the other hand, are
discussed in this paper by focusing on the definition and
implementation of the ALGOL60 programming language. Recursion entered
ALGOL60 in two novel ways: (i) syntactically with what we now call BNF
notation, and (ii) dynamically by means of the recursive procedure. As
is shown, both (i) and (ii) were introduced by linguistically-inclined
programmers who were not versed in logic and who, rather
unconventionally, abstracted away from the down-to-earth
practicalities of their computing machines. By the end of the 1960s,
some computer practitioners had become aware of the theoretical
insignificance of the recursive procedure in terms of computability,
though without relying on recursive-function theory. The presented
results help us to better understand the technological ancestry of
modern-day computer science, in the hope that contemporary researchers
can more easily build upon its past.

Item Type: Report
Report Nr: PP-2010-04
Series Name: Prepublication (PP) Series
Year: 2010
Uncontrolled Keywords: recursion; computability theory; ALGOL; BNF; recursive procedure
Depositing User: daylight
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/383

Actions (login required)

View Item View Item