形式科学Formal sciences

《计算机器与智能》 251 停机问题 252 丘奇-图灵论题 253 神谕 254 相对化可计算性 255 形式逻辑系统 256 麦卡洛克-皮茨神经元模型 257 计算机科学 258 数学 259 形式科学 260 图灵测试 261