阿朗佐·丘奇(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