20世纪30年代,阿隆佐·邱奇和艾伦·图灵、约翰·冯·诺伊曼设计了一个名为lambda演算的形式系统,这个系统实质上......