Çıkarım vs. Sezgi — Turing hepsini öngördü✨
1936: Turing Makineleri = çıkarımsal mantık ve hesaplanabilir problemler
1938: Oracle Makineleri = sezgi ve oracle'lar aracılığıyla karar verilebilir problemler
İki model, bir zihin: #AI ve #CAS için kısaltma📐https://t.co/xUcDdWZuMq