Изменения
→Теорема о неразрешимости десятой проблемы Гильберта
}}
Аббревиатура в названии последней теоремы образована из первых букв фамилий математиков Мартина Девиса (англ. Martin ''Davis''), Хилари Патнэма (англ. ''Hilary Putnam''), Джулии Робинсон (англ. ''Julia Robinson'') и Юрия Матиясевича. Подробное доказательство неразрешимости десятой проблемы Гильберта можно прочитать здесь <ref>
Davis Martin Hilbert's tenth problem is unsolvable {{---}} Amer. tex. Monthly., V.80, №3 1973 {{---}} p.233–269</ref>. <ref>Манин Ю. И. Вычислимое и невычислимое, — М.: Советское Радио, 1980 {{---}} c. 46-64</ref>. Ниже приведены основные идеи доказательства.
Пусть дано множество <tex>M</tex> натуральных чисел и нужно найти алгоритм, который по каждому натуральному <tex>n</tex> определяет, принадлежит это <tex>n</tex> множеству <tex>M</tex> или нет.
