Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

10 LISP primitives analogous to 5 axioms of Euclidean geometry?

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?

like image 437
hawkeye Avatar asked Dec 07 '22 02:12

hawkeye


2 Answers

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.

like image 92
integer Avatar answered Jan 10 '23 18:01

integer


You don't need all those primitives. Much can be done with LAMBDA alone, like integer numerics, ...

In real life Lisps have more primitives.

like image 22
Rainer Joswig Avatar answered Jan 10 '23 18:01

Rainer Joswig