哥德尔还启发了图灵的老师邱奇发明证明不完备定理，并发明了 lambda 表达式，不过哥德尔好像不喜欢邱奇，现在 lambda是函数式编程语言的基础，各种语言都想要有的功能