推理与直觉——图灵早已预见了一切✨

1936年：图灵机 = 演绎逻辑与可计算问题
1938年：奥拉克尔机 = 直觉与通过奥拉克尔的可判定问题

两个模型，一个思维：#AI 和 #CAS 的蓝图📐https://t.co/xUcDdWZuMq