阿朗佐·丘奇(alonzo church)和英国数学家 艾伦·图灵(alan turing)
"church - turing thesis" side 2 1. "make it more wiggily" 2.
esrc- alan turing institute joint fellowship scheme 2018
预订 computability: turing, goedel, church, and b.
the church-turing thesis: breaking the myth speaker: chuang