Дедукция против интуиции — Тьюринг предсказал всё✨
1936: Тьюринговы машины = дедуктивная логика и вычислимые задачи
1938: Оракульные машины = интуиция и решаемые задачи через оракулы
Два модели, одна mind: чертеж для #AI & #CAS📐https://t.co/xUcDdWZuMq