LISP can be built from ten primitives: The primitives are: atom, quote, eq, car, cdr, cons, cond, lambda, label, apply.
Apparently these are equivalent to the 5 axioms of Euclidean geometry. http://hyperpolyglot.wikidot.com/lisp
Can anyone explain how they are equivalent?
It only says:
The primitives are analogous to the 5 axioms of Euclidean plane geometry.
Which doesn't express equivalence. As far as I can tell the author just draws an analogy and wants to say that LISP is constructed from its ten atoms, just like Euclid's plane geometry is constructed from its five axioms.
Poor analogy though.