2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




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

 
 
 
 Re: Теорема Матиясевича
Сообщение25.07.2014, 23:18 
Аватара пользователя
Вы по какому источнику читаете? Как-то странно употребляется у вас термин "гипотеза".

 
 
 
 Re: Теорема Матиясевича
Сообщение26.07.2014, 00:02 
Если решение имеется, то верна, если не имеется - то не верна.
Но Вы можете заменить гипотезу на её отрицание, если хотите, чтобы было наоборот))

 
 
 
 Re: Теорема Матиясевича
Сообщение26.07.2014, 08:27 
Аватара пользователя
Xaositect в сообщении #890323 писал(а):
Вы по какому источнику читаете? Как-то странно употребляется у вас термин "гипотеза".

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

 
 
 
 Re: Теорема Матиясевича
Сообщение26.07.2014, 16:00 
Аватара пользователя
rkrkrk в сообщении #890328 писал(а):
Если решение имеется, то верна, если не имеется - то не верна.
Где можно вычитать более подробную информацию об этом? Посоветуйте пожалуйста какую-нибудь литературу, если имеется такая возможность.

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

 
 
 
 Re: Диофантово представление. Гипотеза Римана.
Сообщение25.05.2015, 18:58 
maximk Что там можно исследовать?

 
 
 
 Re: Диофантово представление. Гипотеза Римана.
Сообщение25.05.2015, 19:19 
Аватара пользователя
 !  maximk, зачем Вы дублируете темы?
Устное замечание за дублирование

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

 
 
 [ Сообщений: 8 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group