原文将邱奇称为"计算机智能的先驱"，这一说法在评论区引发争议。有评论者指出：“ 我确信邱奇是一位杰出的逻辑学家，但他对「计算机智能」（也就是 AI/ML）的贡献绝对是零。 ” ...

他的学术后裔包括 Stephen Kleene、J. Barkley Rosser，以及最著名的 Alan Turing，后者在普林斯顿在邱奇的指导下完成了博士学位。 美国哲学家、美国艺术与 ...