Dedução vs. Intuição — Turing previu tudo✨

1936: Máquinas de Turing = lógica dedutiva & problemas computáveis
1938: Máquinas Oráculo = intuição & problemas decidíveis via oráculos

Dois modelos, uma mente: o projeto para #AI & #CAS📐https://t.co/xUcDdWZuMq