Lambda is not logic

Lambda其实使用的仍然是天然数。天然数与其算术是数学非逻辑的根。

数是一切问题的根源。罗素由于保留了数因此未能成功。任何人想保留数就不可能创建数学的逻辑性。要把数学健在逻辑上就必须除掉数与算术。

存在一个描述与计算的矛盾问题。存在一个表达问题。量最终须要被表达。

意思，lambda是个没有但愿的东西。历来没有人正确地靠近过一种真正的数学逻辑。

天然不等于逻辑。究竟是要实证主义仍是要逻辑？

逻辑与实证是否存在本质的冲突？

这个要问逻辑经验主义了。除非找到天然数的非逻辑的根，才能完全否认天然数。可是实证又从哪里开始？

不管如何，数学要逻辑，首先要解决数学是什么的问题。

若是它只是一个规则系统，那么它就什么都不是；若是它是一个逻辑，那么它就必须”逻辑”！

因此说，归根结底仍是个本体问题。

而lambda跟罗素同样，连边都没靠上。