Изменения
→Источники информации
<references />
==Источники информации==
*Матиясевич Ю.В. Десятая проблема Гильберта. — М.: Физматлит, 1993. - — Математическая логика и основания математики.
*Проблемы Гильберта. Сборник под редакцией П.С. Александрова, М., Наука, 1969 г.
*Ю. В. Матиясевич. Диофантовы множества. — УМН, 1972, том 27, выпуск 5(167), — с. 185–222*[http://kvant.ras.ru/1970/07/o_reshenii_desyatoj_problemy_g.htm П. Варпаховский, А. Н. Колмогоров О решении десятой проблемы Гильберта // , журнал Квант. — 1970. — № 7. — С. 38—44.]
*[https://www.lektorium.tv/lecture/12974 Лекции Ю.В. Матиясевича в Computer Science клубе при ПОМИ РАН]
[[Категория: Теория формальных языков]]
[[Категория: Теория вычислимости]]
[[Категория: Примеры неразрешимых задач]]
