haw*_*eye 4 lisp primitive geometry axiom
LISP可以用十个原语构建:原语是:atom,quote,eq,car,cdr,cons,cond,lambda,label,apply.
显然,这些等同于欧氏几何的5个公理. http://hyperpolyglot.wikidot.com/lisp
谁能解释它们是如何相同的？
它只说:
基元类似于欧几里德平面几何的5个公理.
哪个不表达等同性.据我所知,作者只是画了一个类比,并想说LISP是由十个原子构成的,就像欧几里德的平面几何是由五个公理构成的.
可怜的比喻.
| 归档时间： |
|
| 查看次数： |
1247 次 |
| 最近记录： |