E. Asarin, Chaos and Undecidability (Хаос и неразрешимость)

Рассматриваются различные механизмы, вызывающие неразрешимость задачи достижимости (и подобных) для различных классов динамических систем. Показано, что во многих случаях эта недостижимость порождается детерминированным хаосом (в математическом смысле слова), а разрешимость напротив связана с невозможностью хаоса. Ключевую роль играет рассмотрение машин Тьюринга как динамических систем. Рукопись во многом персекается с исследованиями Кристофера Мура.[Postscript]