Lambda is not logic

Lambda其實使用的仍然是天然數。天然數與其算術是數學非邏輯的根。

數是一切問題的根源。羅素由於保留了數因此未能成功。任何人想保留數就不可能創建數學的邏輯性。要把數學健在邏輯上就必須除掉數與算術。

存在一個描述與計算的矛盾問題。存在一個表達問題。量最終須要被表達。

意思，lambda是個沒有但願的東西。歷來沒有人正確地靠近過一種真正的數學邏輯。

天然不等於邏輯。究竟是要實證主義仍是要邏輯？

邏輯與實證是否存在本質的衝突？

這個要問邏輯經驗主義了。除非找到天然數的非邏輯的根，才能完全否認天然數。可是實證又從哪裏開始？

不管如何，數學要邏輯，首先要解決數學是什麼的問題。

若是它只是一個規則系統，那麼它就什麼都不是；若是它是一個邏輯，那麼它就必須」邏輯」！

因此說，歸根結底仍是個本體問題。

而lambda跟羅素同樣，連邊都沒靠上。