Опрос: "ДОТУ. Варианты архитектуры прикладного программного решения"

[Физик-теоретик]

Уважаемый Ильмир,

1. Известны ли Вам публикации в математических журналах по математическим основам ДОТУ? Думается, что ДОТУ должна быть прямо связана с теорией случайных процессов и мат. теорией искусственного интеллекта, не говоря уже о математической логике. Если у Вас есть ссылки, пожалуйста, выложите хотя бы несколько основных.
2. Ну и, конечно, хорошо бы увидеть систему аксиом ДОТУ и ее анализ в свете теоремы Гёделя о неполноте.

Спасибо!