Представьте себе, что пациент с разделенными половинками мозга создает модель принятия своих решений. Вот вам отличный аналог того, что стоят теории вычислимости к приложению об алгоритмах принятия решений. В крайнем случае, вы можете оперировать бесконечными таблицами в две колонки, если это вас не напрягает.
Собственно, я это к тому, что ваше замечание вроде как не имеет отношения к сфере моих поисков.