turing etc.

kleene)提出递归函数,阿隆佐·邱奇(alonzo church)提出λ演算

physics / cosmology | turing church

church(图灵的博导)在20世纪30年代引入,之后的church–turing thesis

北大吴飙教授:数学是物理的_定理_信息_哥德尔