形式科学

《计算机器与智能》

停机问题

丘奇-图灵论题

神谕

相对化可计算性

形式逻辑系统

麦卡洛克-皮茨神经元模型

计算机科学

数学

形式科学

图灵测试