演繹 vs. 直感 —Turing はすべてを見抜いていた✨

1936年: Turing Machines = 演繹的論理と計算可能な問題
1938年: Oracle Machines = 直感と、オラクルによる決定可能な問題

2つのモデル、1つの心: #AI と #CAS の設計図📐https://t.co/xUcDdWZuMq