←back to thread

Hofstadter on Lisp (1983)

(gist.github.com)
372 points Eric_WVGG | 1 comments | 16 Oct 24 13:44 UTC | HN request time: 0.225s | source
Show context
paulddraper ◴[17 Oct 24 16:10 UTC] No.41870979[source]▶
> As you might expect, the value of the atom 1729 is the integer 1729, and this is permanent. (I am distinguishing here between the atom whose print name or pname is the four-digit string 1729, and the eternal Platonic essence that happens to be the sum of two cubes in two different ways - i.e., the number 1729.)

He is? What is the distinguishment he is making?

This writing styling is....interesting.

replies(3): >>41871040 #>>41871047 #>>41871222 #
1. Y_Y ◴[17 Oct 24 16:16 UTC] No.41871047[source]▶
An atom is something defined in the semantics of lisp and a part of the program, it will be represented as bits in the computer memory and as pixels on the screen. A number is a very general concept with many representations, on of which is as a lisp atom, and another could be a pile of 1729 kiwis. The kiwis and the code both represent the number, but they don't represent each other.