2014 dxdy logo

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

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


Правила форума


В этом разделе нельзя создавать новые темы.

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

Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему На страницу 1, 2  След.
 
 Теория сравнений
Сообщение13.08.2014, 22:57 
Аватара пользователя


04/06/14
623
Как обстоит вопрос с открытыми проблемами раздела теории чисел теории сравнений? Где можно найти информацию по данной тематике?
Спасибо.

 Профиль  
                  
 
 Re: Теория сравнений
Сообщение13.08.2014, 23:05 


19/05/10

3940
Россия
Теория сравнений это что-то вроде языка, а какие там могут быть проблемы? заикание, разве что

 Профиль  
                  
 
 Re: Теория сравнений
Сообщение14.08.2014, 14:47 
Заслуженный участник
Аватара пользователя


24/02/12
1842
Москва
Проблемы могут быть поставлены в терминах сравнений. Например, гипотеза Курепы, непонятно, доказанная или нет. Но лучше не начинать с поиска открытой проблемы, а изучать учебную литературу, потом научную, ходить на семинары, и открытые проблемы сами придут к вам.

 Профиль  
                  
 
 Re: Теория сравнений
Сообщение15.08.2014, 14:10 
Аватара пользователя


04/06/14
623
Спасибо за информацию. Знать бы еще, на какие семинары ходить. В моем университете никто даже не занимается теорией чисел, обратиться не к кому. Только если следить за нынешними конференциями в других городах.
Не могли бы вы посоветовать необходимый минимум литературы по теории чисел (желательно без аналитических методов, если в этом нет необходимости) такой, чтобы при поступлении в магистратуру в вуз уровня МГУ можно было понимать "о чем речь" на семинарах по открытым проблемам в области элементарной теории чисел. Обязательно ли для этого быть алгебраистом?

 Профиль  
                  
 
 Re: Теория сравнений
Сообщение15.08.2014, 14:46 
Заслуженный участник
Аватара пользователя


24/02/12
1842
Москва
Что Вы понимаете под элементарной теорией чисел? Рассуждениями с делимостью кроме некоторых олимпиадных задач ничего не решить. Открытые проблемы могут элементарно формулироваться, но для их решения приходится привлекать мощные аналитические либо алгебраические методы.

 Профиль  
                  
 
 Re: Теория сравнений
Сообщение15.08.2014, 15:49 
Аватара пользователя


04/06/14
623
ex-math в сообщении #896444 писал(а):
Что Вы понимаете под элементарной теорией чисел? Рассуждениями с делимостью кроме некоторых олимпиадных задач ничего не решить. Открытые проблемы могут элементарно формулироваться, но для их решения приходится привлекать мощные аналитические либо алгебраические методы.

Ясненько. Но откудого это следует, что невозможно найти "элементарное" доказательство той или иной задачи вне зависимости от ее сложности? Этому утверждению существует строгое доказательство, или это лишь предположение некоторых профессионалов?

 Профиль  
                  
 
 Re: Теория сравнений
Сообщение15.08.2014, 16:26 
Заслуженный участник


08/04/08
8556
maximk в сообщении #896464 писал(а):
Но откудого это следует, что невозможно найти "элементарное" доказательство той или иной задачи вне зависимости от ее сложности? Этому утверждению существует строгое доказательство, или это лишь предположение некоторых профессионалов?
Это внематематическое утверждение, полученное опытным путем.

 Профиль  
                  
 
 Re: Теория сравнений
Сообщение15.08.2014, 17:38 
Аватара пользователя


04/06/14
623
Sonic86 в сообщении #896476 писал(а):
maximk в сообщении #896464 писал(а):
Но откудого это следует, что невозможно найти "элементарное" доказательство той или иной задачи вне зависимости от ее сложности? Этому утверждению существует строгое доказательство, или это лишь предположение некоторых профессионалов?
Это внематематическое утверждение, полученное опытным путем.

А это значит, что все же возможно получить элементарное доказательство определенной задачи. Это ведь зависит от решающего. Хотя конечно вероятно такое решение отыскать сложнее. Кстати, видал здесь некоторых решаталей сложных задач элементарными методами, занимающими множество страниц темы, на этой форуме.

 Профиль  
                  
 
 Re: Теория сравнений
Сообщение15.08.2014, 19:01 
Заслуженный участник


08/04/08
8556
maximk в сообщении #896482 писал(а):
А это значит, что все же возможно получить элементарное доказательство определенной задачи.
Нет, не значит.

 Профиль  
                  
 
 Re: Теория сравнений
Сообщение16.08.2014, 15:34 
Аватара пользователя


04/06/14
623
Sonic86 в сообщении #896476 писал(а):
maximk в сообщении #896464 писал(а):
Но откудого это следует, что невозможно найти "элементарное" доказательство той или иной задачи вне зависимости от ее сложности? Этому утверждению существует строгое доказательство, или это лишь предположение некоторых профессионалов?
Это внематематическое утверждение, полученное опытным путем.

Чьим опытным путем? В книге Хинчина "3 жемчужины теории чисел" вы можете найти пример решений сложных задач элементарными методами.

 Профиль  
                  
 
 Re: Теория сравнений
Сообщение16.08.2014, 22:36 
Заслуженный участник


08/04/08
8556
maximk в сообщении #896656 писал(а):
Чьим опытным путем?
Математиков, естественно. Просто люди брали разные задачи и пытались решать. Иногда у них получалось, иногда - нет. Чаще - нет.

maximk в сообщении #896656 писал(а):
В книге Хинчина "3 жемчужины теории чисел" вы можете найти пример решений сложных задач элементарными методами.
Угу, в книге Хинчина "3 жемчужины теории чисел" я могу найти примеры решений некоторых сложных задач элементарными методами.

Елки-палки, просто погуглите что-нибудь типа "нерешенные проблемы теории чисел", посмотрите на их возраст: ВТФ, гипотеза Гольдбаха, гипотеза близнецов, гипотеза Лежандра, элементарно формулируемые следствия из гипотезы Римана о росте $\pi(x)$ и кучу еще всего. Посмотрите на доказательства ВТФ, теоремы Дирихле о простых в прогрессиях, теоремы о распределении простых.

Очевидно только то, что есть много элементарно формулируемых задач, но среди них есть лишь малая часть задач, решенных элементарно. Все остальное - неочевидно. С чего вдруг для любой (квантор $\forall$) элементарно формулируемой задачи есть элементарное решение? Это ведь довольно сильное утверждение, проще поверить в противоположное. Опять же, напомню, что понятие "элементарный метод" не определено. И далее, может оказаться так, что неэлементарное доказательство с помощью матлогики эквивалентно преобразуемо в элементарное, но при этом смысл доказательства становится совершенно неясным. Что тогда Вы назовете элементарным доказательством/решением, а что - неэлементарным? Ведь в таком случае утрачивается смысл вопроса даже в его естественной формулировке. :?

 Профиль  
                  
 
 Re: Теория сравнений
Сообщение20.08.2014, 09:58 
Аватара пользователя


04/06/14
623
Sonic86 в сообщении #896751 писал(а):
maximk в сообщении #896656 писал(а):
Чьим опытным путем?
Математиков, естественно. Просто люди брали разные задачи и пытались решать. Иногда у них получалось, иногда - нет. Чаще - нет.

А может просто психологический фактор. Какая необходимость отыскивать элементарное доказательство, если долгое время не получается, и проще отыскать неэлементарное?

Цитата:
Опять же, напомню, что понятие "элементарный метод" не определено. И далее, может оказаться так, что неэлементарное доказательство с помощью матлогики эквивалентно преобразуемо в элементарное, но при этом смысл доказательства становится совершенно неясным. Что тогда Вы назовете элементарным доказательством/решением, а что - неэлементарным? Ведь в таком случае утрачивается смысл вопроса даже в его естественной формулировке. :?

Предполагаю аналитический (рассматроим хотя бы узкий случай) метод элементарным, если в нем не используется ТФКП (понятно, что очень "расплывчатое" определение, нужно искать способы формализации и т.д.)
А если вдруг удастся доказать логически, что любое неэлементарное доказательство преобразуемо в элементарное так, что при этом смысл доказательства не становится неясным?
Что если вдруг найдется алгоритм, который хотя бы "в общих чертах" указывает на то, как преобразовывать доказательства, упрощать их. Математика не стоит на месте, и есть основания предполагать, что когда-нибудь проблема с элементарностью-неэлементарностью доказательств будет решена. Вопрос в том, кто первый возьмется за это. Всегда был человек, который первым открывал что-либо, что служило основанием дальшейших исследований в этой области.
Вам проще поверить "в противоположное", но это не отрицает того факта, что существует(ют)/будет(ут) существовать математик(и)/нематематик(и), который(ые) решит(ат) этот вопрос рано или поздно.
Sonic86 в сообщении #896751 писал(а):
Елки-палки, просто погуглите что-нибудь типа "нерешенные проблемы теории чисел", посмотрите на их возраст: ВТФ, гипотеза Гольдбаха, гипотеза близнецов, гипотеза Лежандра, элементарно формулируемые следствия из гипотезы Римана о росте $\pi(x)$ и кучу еще всего. Посмотрите на доказательства ВТФ, теоремы Дирихле о простых в прогрессиях, теоремы о распределении простых.

Очевидно только то, что есть много элементарно формулируемых задач, но среди них есть лишь малая часть задач, решенных элементарно.

Допустим, есть проблема $n$. При условии, что вы с интересом занимаетесь ее всю жизнь, и наконец решили ее неэлементарными методами. Есть вероятность, что за $m$ лет решающий сможет либо найти элементарное доказательство этой проблемы, либо доказать, что такого доказательства не существует $\forall n$ ? И тогда возможно это станет первым шагом в данном направлении.

 Профиль  
                  
 
 Re: Теория сравнений
Сообщение20.08.2014, 15:36 
Заслуженный участник
Аватара пользователя


24/02/12
1842
Москва
Ну вот Сельберг получил элементарное доказательство асимптотического закона. Ему дали за это медаль Филдса. Это послужило отправной точкой целого ряда исследований. Но доказательство абсолютно непрозрачно, особенно в сравнении с неэлементарным. И найти его было сложнее, как показала практика. Это я к чему? К тому, что проще выучить ТФКП, чем создавать себе искусственные затруднения.

 Профиль  
                  
 
 Re: Теория сравнений
Сообщение20.08.2014, 20:40 
Заслуженный участник


08/04/08
8556
maximk в сообщении #897701 писал(а):
А может просто психологический фактор. Какая необходимость отыскивать элементарное доказательство, если долгое время не получается, и проще отыскать неэлементарное?
Да ну.

maximk в сообщении #897701 писал(а):
А если вдруг удастся доказать логически, что любое неэлементарное доказательство преобразуемо в элементарное так, что при этом смысл доказательства не становится неясным?
Ну это вообще какая-то фантастика. Смысл - мозгозаточенная штука. Вводить описание мозга в математику как-то совсем нематематично.

В общем, смысл Вы поняли: утверждать, что любое доказуемое утверждение элементарно доказуемо - неочевидно.

maximk в сообщении #897701 писал(а):
Математика не стоит на месте, и есть основания предполагать, что когда-нибудь проблема с элементарностью-неэлементарностью доказательств будет решена.
Ну м.б.. Чтобы увидеть, на что оно будет похоже, надо смотреть что-нибудь про выразимость и разрешимость теорий. Можете посмотреть на формальное доказательство теоремы Пифагора - это тоже будет такой косвенный образ того, что Вы ищете.

maximk в сообщении #897701 писал(а):
того факта, что существует(ют)/будет(ут) существовать математик(и)/нематематик(и), который(ые) решит(ат) этот вопрос рано или поздно.
С каких деревьев Вы взяли, что это факт? Откуда факт?
Вот есть ВТФ, она доказана неэлементарно, а элементарного доказательства нет.
Все, нету факта. Голое вранье.

Т.е. фантазировать можно. Лучше попробовать что-то попытаться в этом направлении сделать.
Но в уме сразу держим алгоритмическую неразрешимость уравнений, например. Еще в Ершове-Палютине что-то было про неразрешимость теории $\langle\mathbb{N},\mid\rangle$

 Профиль  
                  
 
 Re: Теория сравнений
Сообщение20.08.2014, 21:55 
Заслуженный участник


20/07/09
4026
МФТИ ФУПМ
Sonic86 в сообщении #897939 писал(а):
Можете посмотреть на формальное доказательство теоремы Пифагора
Покажите.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 17 ]  На страницу 1, 2  След.

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group