[FOM] Which is clearer, "integer" or "symbol"?
Hendrik Boom
hendrik at topoi.pooq.com
Sun Jan 2 17:02:46 EST 2011
On Sun, Jan 02, 2011 at 01:32:45PM -0500, Timothy Y. Chow wrote:
> It is my impression that, at least among people without formal training in
> logic and foundations, there has been a gradual shift over time from the
> point of view that an "integer" is the clearest mathematical concept, to
> the point of view that a "symbol" is the clearest mathematical concept.
> I am wondering if other FOM readers have a similar impression, and if so,
> whether any solid historical evidence can be accumulated in support of
> my claim.
This may because the advent of Lisp way back in the 60's have introduced
a large audience to elementary recursion theory in a way that uses words
as symbols and avoids using integers as godel numbers entirely.
-- hendrik
More information about the FOM
mailing list