Deduction vs. Intuition — Turing foresaw it all✨

1936: Turing Machines = deductive logic & computable problems
1938: Oracle Machines = intuition & decidable problems via oracles

Two models, one mind: the blueprint for #AI & #CAS📐https://t.co/xUcDdWZuMq