Аннотация:
В докладе дан обзор разнообразных моделей вычислительных процессов, как используемых для доказательства неразрешимости 10-й проблемы Гильберта, так и тех, неразрешимость или универсальность которых была установлена на основе теоремы о диофантовости перечислимых множеств.