Теорема Матиясевича

[maximk]

Помогите разобраться пожалуйста.
Можно ли сделать вывод об истинности/ложности гипотезы (помимо доказуемости/недоказуемости)
на основе решения универсального диофантового уравнения, эквивалентного данной гипотезе (которое можно построить).
Если решения имеются, то какой вывод отсюда следует? Если таковых не имеется?

[Xaositect]

Вы по какому источнику читаете? Как-то странно употребляется у вас термин "гипотеза".

[rkrkrk]

Если решение имеется, то верна, если не имеется - то не верна.
Но Вы можете заменить гипотезу на её отрицание, если хотите, чтобы было наоборот))

[maximk]

Xaositect в сообщении #890323 писал(а):

Вы по какому источнику читаете? Как-то странно употребляется у вас термин "гипотеза".

Я даже не знаю, где вычитать информацию по данной теме. Почитывал "Десятую проблему Гильберта" Матиясевича, но там нет сведений о данной теореме. Для гипотезы Римана построено уравнение. В нем имеется какой-то фиксированный параметр К, который можно получить алгоритмически. Вопрос в том, как получить данный параметр в явном (или неявном) виде, т.к. от этого зависит разрешимость данного уравнения в неотрицательных целых числах.

[maximk]

rkrkrk в сообщении #890328 писал(а):

Если решение имеется, то верна, если не имеется - то не верна.

Где можно вычитать более подробную информацию об этом? Посоветуйте пожалуйста какую-нибудь литературу, если имеется такая возможность.

[maximk]

Кто-нибудь исследовал гипотезу Римана по построенному Матиясевичем полиному?
Правильно ли понимаю, что если это уравнение не имеет решений в неотрицательных целых для фиксированного значения параметра $K$ (определяемого алгоритмически), то гипотеза Римана верна, в противном случае неверна?

[DiMath]

maximk Что там можно исследовать?

[Deggial]

maximk, зачем Вы дублируете темы?
Устное замечание за дублирование

Темы объединены