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.
You don't need all those primitives. Much can be done with LAMBDA alone, like integer numerics, ...
In real life Lisps have more primitives.
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With