虽然不是数学专业的，但是这种知识一直非常的吸引我。我想当喜欢这种纯理论性的东西。 从第三次数学危机开始，数学大厦好似一夜之间轰然崩塌，又在短短数十年的时间内搭建了比以往繁荣无数倍的数学王国。而这一切都与Lambda演算所旨在解决的问题有关——Church-Turing Thesis

Lambda演算虽然没有图灵机和递归那样出圈的有名，但其影响是相当深远的。以后有时间可以讲一下Functional Languages(Lisp Haskell)和Imperative Languages(C Rust Python)的区别，Lambda演算影响的是前者。

更重要的是，lambda演算给了我们一种全新的看待信息和计算本质的方法。