загадочная сложность теории чисел
Oct. 7th, 2017 12:53 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
avvaThe enigmatic complexity of number theory
Вопрос, который я сам себе не раз задавал, но насчет которого я тем не менее не уверен в том, насколько он осмыслен и интересен. Теория чисел - часть математики, которая изучает свойства целых чисел - вроде бы выделяется на фоне всех других математических дисциплин феноменальным количеством задач, которые просто сформулировать, но сложно решить. Сюда конечно относятся теорема Ферма и другие очень простые по формулировке и еще не решенные проблемы (гипотеза Гольдбаха: любое четное число можно представить в виде суммы двух простых; гипотеза о простых числах-близнецах, гипотеза Коллатца). Но по-моему дело не только в нерешенных или супер-тяжелых проблемах; теория чисел поражает также тем, как очень простые по формулировке утверждения требуют для своего доказательства "тяжелой артиллерии" из казалось бы, наивно говоря, более продвинутых областей математики.
В обсуждении по ссылке Скотт Ааронсон предлагает следующий ответ: арифметических действий с целыми числами достаточно, чтобы воплотить любой возможный алгоритм; отсюда следует, что уже даже относительно простые утверждения о целых числах могут упираться в фундаментальные ограничения типа "это невозможно доказать в принципе": теоремы Геделя о неполноте, неразрешимость проблемы остановки итп. Таким образом, в теории чисел неразрешимые задачи лежат буквально за углом, и расстояние о тривиальных фактов до них относительно невелико. Поэтому быстро приходят к сложным вопросам, которые еще разрешимы (скорее всего), но уже близки к неразрешимым.
Не уверен, что мне нравится этот ответ: то, что диофантовы уравнения упираются в неразрешимость в общем виде, это одно; а то, что мы не знаем, как решать даже очень просто выглядящие такие конкретные уравнения (пример из обсуждения: x^3+y^3 = z^3+33, неизвестно, есть ли решение у этого уравнения в целых числах) - другое, и мне не кажется очевидным, что эти две сложности друг с другом связаны. Но другого ответа у меня нет. Более того, нет даже уверенности, что этот вопрос осмыслен - возможно, это артефакт того, как мы определяем различные дисциплины в математике и то, что в них считается базисным-тривиальным?
Вопрос, который я сам себе не раз задавал, но насчет которого я тем не менее не уверен в том, насколько он осмыслен и интересен. Теория чисел - часть математики, которая изучает свойства целых чисел - вроде бы выделяется на фоне всех других математических дисциплин феноменальным количеством задач, которые просто сформулировать, но сложно решить. Сюда конечно относятся теорема Ферма и другие очень простые по формулировке и еще не решенные проблемы (гипотеза Гольдбаха: любое четное число можно представить в виде суммы двух простых; гипотеза о простых числах-близнецах, гипотеза Коллатца). Но по-моему дело не только в нерешенных или супер-тяжелых проблемах; теория чисел поражает также тем, как очень простые по формулировке утверждения требуют для своего доказательства "тяжелой артиллерии" из казалось бы, наивно говоря, более продвинутых областей математики.
В обсуждении по ссылке Скотт Ааронсон предлагает следующий ответ: арифметических действий с целыми числами достаточно, чтобы воплотить любой возможный алгоритм; отсюда следует, что уже даже относительно простые утверждения о целых числах могут упираться в фундаментальные ограничения типа "это невозможно доказать в принципе": теоремы Геделя о неполноте, неразрешимость проблемы остановки итп. Таким образом, в теории чисел неразрешимые задачи лежат буквально за углом, и расстояние о тривиальных фактов до них относительно невелико. Поэтому быстро приходят к сложным вопросам, которые еще разрешимы (скорее всего), но уже близки к неразрешимым.
Не уверен, что мне нравится этот ответ: то, что диофантовы уравнения упираются в неразрешимость в общем виде, это одно; а то, что мы не знаем, как решать даже очень просто выглядящие такие конкретные уравнения (пример из обсуждения: x^3+y^3 = z^3+33, неизвестно, есть ли решение у этого уравнения в целых числах) - другое, и мне не кажется очевидным, что эти две сложности друг с другом связаны. Но другого ответа у меня нет. Более того, нет даже уверенности, что этот вопрос осмыслен - возможно, это артефакт того, как мы определяем различные дисциплины в математике и то, что в них считается базисным-тривиальным?
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
Ничего подобного....
Date: 2017-10-09 05:56 pm (UTC)Получив ответ мы сами даже можем выбрать потом нужную нам форму.
Тут дело в другом... Очень часто народ банально не понимает как надо их решать.
Вместо этого пишет всякий алгебрагеометрический бред...
Эти методы со скрипом работали когда уравняшки были крайне просты. Когда их чуток усложнили они вообще не работают.
Тогда они вместо того, чтоб усовершенствовать методы решили объявить на весь мир о алгоритмической не разрешимости....
Какой к чёрту алгоритм???
Их надо решать, а не болтать!