[FOM] Computer Scientists visa vie Mathematicians
Dennis E. Hamilton
dennis.hamilton at acm.org
Thu Jan 23 11:26:39 EST 2020
I said,
> The idea of scopes and whether occurrences of variables in a text are free
or bound is a syntactic/grammatical matter. It is easy to illustrate. I
hesitate to offer this to a mathematical audience where I expect it is
already recognizable. I do so to establish a shared context.
> The TL;DR: All of this predates computer science. It goes back to the
work of Church and others. My first exposure, around 1961, was in the
account of [Rosenbloom, Paul C. The Elements of Mathematical Logic. Dover
(New York: 1950). ISBN 0-486-60227-3 pbk.] The free-bound distinction is
found in [Church, Alonzo. The Calculi of Lambda-Conversion. Annals of
Mathematical Studies 6. Princeton University Press (Princeton NJ: 1941).
ISBN 0-691-08394-0 pbk.]
Although I have a computer-scientists preoccupation with lambda calculus, I
am reminded that the binding of free occurrences of variables goes back to
the syntactic scopes of quantifiers in Predicate calculus, including FOL.
E.g., [Barwise, Jon. An Introduction to First-Order Logic. Chapter A.1 in
The Handbook of Mathematical Logic, Elsevier (Amsterdam: 1977). ISBN
0-444-86388-5 pbk.] and [Russell, Bertrand. Mathematical logic as based on
the theory of types. 1908 paper reprinted in van Heijenoort, From Frege to
Gödel: A Source Book in Mathematical Logic, 1879-1931. Harvard University
Press (Cambridge MA, London: 1967) ISBN 0-674-32449-8.]
PS: I regret that problems of graphic-characters encoding in messages passed
over and transformed by Internet services rendered my previous use of the
Greek \lambda character as "?". I foolishly thought I could avoid lapsing
into [La]TeX-isms or other devices.
- Dennis
More information about the FOM
mailing list