Изменения

Перейти к: навигация, поиск

Неразрешимость проблемы существования решения диофантова уравнения в целых числах

145 байт добавлено, 19:53, 19 ноября 2016
Нет описания правки
<tex>\left \{ P(a_1, a_2, ..., a_m, x_1, x_2, ..., x_n)=0 \right \}</tex>
===Предикат Робинсон, совместный результат М. Дэвиса и Х. Патнема и Д. Робинсон.===
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/55959»

Навигация