2014 dxdy logo

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

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




Начать новую тему Ответить на тему На страницу Пред.  1 ... 4, 5, 6, 7, 8
 
 Re: Критерий истинности в математике
Сообщение05.07.2016, 22:18 
Заслуженный участник
Аватара пользователя


20/08/14
8062
epros в сообщении #1135973 писал(а):
А разве нет? Вроде, он доказал её отнюдь не в аксиоматике Пеано первого порядка. То бишь, аксиоматика явно была сильнее, чем минимально необходимая.
А кто говорил, что компьютерное доказательство обязательно проводится в минимально необходимой аксиоматике? Имеет смысл полагать, что все построения Уайлса, включая исходные посылки, выразимы в ZFC:) Ну и чего, кто-нибудь предъявил найденное компьютером доказательство результата Уайлса в формальной ZFC? Верите ли Вы в то, что в обозримом будущем кто-то его предъявит?

 Профиль  
                  
 
 Re: Критерий истинности в математике
Сообщение05.07.2016, 22:29 
Заслуженный участник
Аватара пользователя


16/07/14
8355
Цюрих
epros в сообщении #1135973 писал(а):
Я бы сказал, что у нас нет никаких оснований утверждать, что компьютер уступает мозгу при эквивалентной производительности и правильных базовых алгоритмах. :wink:

Равно как и нет оснований для уверенности в обратном. Но кажется мы тут можем до бесконечности повторять истинные но неинтересные утверждения:)

 Профиль  
                  
 
 Re: Критерий истинности в математике
Сообщение05.07.2016, 22:32 
Заслуженный участник
Аватара пользователя


28/09/06
10414
Anton_Peplov в сообщении #1135975 писал(а):
Ну и чего, кто-нибудь предъявил найденное компьютером доказательство результата Уайлса в формальной ZFC?

Ха, а кто-нибудь давал компьютеру задание поиска доказательства именно в ZFC? Это ж надо было фантазию проявить в выборе аксиоматики, а на это компьютеры обычно не программируют за ненадобностью. :-)

 Профиль  
                  
 
 Re: Критерий истинности в математике
Сообщение05.07.2016, 22:38 
Заслуженный участник
Аватара пользователя


20/08/14
8062
epros в сообщении #1135982 писал(а):
Ха, а кто-нибудь давал компьютеру задание поиска доказательства именно в ZFC?
А что, никто не дает компьютерам заданий доказывать теоремы в ZFC?

 Профиль  
                  
 
 Re: Критерий истинности в математике
Сообщение05.07.2016, 22:43 
Заслуженный участник
Аватара пользователя


28/09/06
10414
mihaild в сообщении #1135978 писал(а):
мы тут можем до бесконечности повторять истинные но неинтересные утверждения

Ну, давайте тогда перейдём к менее бесспорным, но более сильным утверждениям:
Предположение о том, что компьютер уступает мозгу при эквивалентной производительности и правильных базовых алгоритмах, сильно попахивает мистикой, ибо предполагает наличие в мозге непостижимых составляющих, которые мы в принципе не способны воссоздать искусственно.

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


20/08/14
8062
epros в сообщении #1135986 писал(а):
Предположение о том, что компьютер уступает мозгу при эквивалентной производительности и правильных базовых алгоритмах, сильно попахивает мистикой
А такого предположения никто здесь, кажется, не делал. Я, например, обращал внимание лишь на то, что "правильных базовых алгоритмов" мы не знаем и неизвестно, когда узнаем. Вытащить их из мозга великих математиков на сегодняшний день нет никакой практической возможности.

 Профиль  
                  
 
 Re: Критерий истинности в математике
Сообщение05.07.2016, 22:48 
Заслуженный участник
Аватара пользователя


28/09/06
10414
Anton_Peplov в сообщении #1135983 писал(а):
А что, никто не дает компьютерам заданий доказывать теоремы в ZFC?

Может и дают. Не знаю, кому теперь интересно компьютерное повторение доказательства этой теоремы. Вот если бы её изначально удалось доказать компьютеру, это было бы интересно. Но тут ещё надо как-то "правильно" выбрать аксиоматику. Да и тупой перебор в лексикографическом порядке, конечно, тоже неинтересно, т.е. и выбор правильных эвристик имеет значение.

-- Вт июл 05, 2016 23:52:28 --

Anton_Peplov в сообщении #1135987 писал(а):
А такого предположения никто здесь, кажется, не делал

Я исхожу из того, что фразу "нет оснований для уверенности в обратном" можно трактовать как предложение рассмотреть это в качестве предположения. :wink:

-- Вт июл 05, 2016 23:55:57 --

Anton_Peplov в сообщении #1135987 писал(а):
Вытащить их из мозга великих математиков на сегодняшний день нет никакой практической возможности.

Ну да, разумеется, между "практической невозможностью сегодня" и "принципиальной невозможностью" лежит пропасть, которая позволяет надеяться, что первая когда-нибудь потеряет актуальность.

 Профиль  
                  
 
 Re: Критерий истинности в математике
Сообщение05.07.2016, 22:56 
Заслуженный участник
Аватара пользователя


16/07/14
8355
Цюрих
epros, я под "компьютером" всё время подразумевал "компьютер, аналогичный современным" (т.е. полиномиально эквивалентный машине Тьюринга).
(а незнание биологии и квантовой механики мешает мне увидеть мистику в способности мозга решать что-то из $BQP \setminus PSPACE$ за полиномиальное время - она там правда есть?)

 Профиль  
                  
 
 Re: Критерий истинности в математике
Сообщение05.07.2016, 23:17 
Заслуженный участник
Аватара пользователя


28/09/06
10414
mihaild в сообщении #1135991 писал(а):
я под "компьютером" всё время подразумевал "компьютер, аналогичный современным" (т.е. полиномиально эквивалентный машине Тьюринга)

Современные компьютеры архитектурно неэквивалентны машине Тьюринга, ибо многопроцессорны. Хотя это не даёт возможности решить что-то неразрешимое на машине Тьюринга, но может давать существенный выигрыш во времени. Мозг, разумеется, тоже обладает большими возможностями параллельной обработки.

 Профиль  
                  
 
 Re: Критерий истинности в математике
Сообщение05.07.2016, 23:23 
Заслуженный участник
Аватара пользователя


16/07/14
8355
Цюрих
epros в сообщении #1135995 писал(а):
Современные компьютеры архитектурно неэквивалентны машине Тьюринга, ибо многопроцессорны.

Если считать, что число процессоров ограничено полиномом, то мы всё равно остаемся в $P$.

 Профиль  
                  
 
 Re: Критерий истинности в математике
Сообщение05.07.2016, 23:28 
Заслуженный участник
Аватара пользователя


19/12/10
1546
epros в сообщении #1135995 писал(а):
Современные компьютеры архитектурно неэквивалентны машине Тьюринга, ибо многопроцессорны.

Сколько бы ни было процессоров у компьютерной системы, число её состояние конечно, а потому она моделируется соответствующей машиной Тьюринга.

 Профиль  
                  
 
 Re: Критерий истинности в математике
Сообщение05.07.2016, 23:34 
Заслуженный участник
Аватара пользователя


28/09/06
10414
whitefox в сообщении #1135999 писал(а):
Сколько бы ни было процессоров у компьютерной системы, число её состояние конечно, а потому она моделируется соответствующей машиной Тьюринга.

Это верно, но при решении задач ограниченной сложности, если не возникает переполнения по загрузке процессоров, то это не имеет значения. Кстати, квантовый компьютер тоже по-сути параллельный вычислитель. Например, алгоритм факторизации Шора имеет на нём эффективность $N^3$, но это только в том случае, если $N$ не настолько велико, чтобы потребовалось больше кубитов, чем имеется.

 Профиль  
                  
 
 Re: Критерий истинности в математике
Сообщение05.07.2016, 23:44 
Заслуженный участник


27/04/09
28128
Rasool в сообщении #1135963 писал(а):
И машина тоже. Нам пока известно, что к творчеству из известных вычислительных структур способен только человеческий мозг
Тут важен порядок кванторов, в результате правильная фраза должна выглядеть «известно только, что <…> способен только человеческий мозг». Эта фраза больше отвечает текущему состоянию знаний, а исходная слишком сильна, и, к тому же, там не очень уместно пока — там нет никакого намёка, куда ей можно было бы усиливаться в будущем. :-)

 Профиль  
                  
 
 Re: Критерий истинности в математике
Сообщение05.07.2016, 23:48 
Заслуженный участник
Аватара пользователя


19/12/10
1546
epros в сообщении #1136002 писал(а):
Кстати, квантовый компьютер тоже по-сути параллельный вычислитель.

Кстати, число квантовых состояний квантового компьютера бесконечно, на МТ его не смоделируешь.

 Профиль  
                  
 
 Re: Критерий истинности в математике
Сообщение12.07.2016, 19:27 


20/09/09
1880
Уфа
Anton_Peplov в сообщении #1135987 писал(а):
epros в сообщении #1135986 писал(а):
Предположение о том, что компьютер уступает мозгу при эквивалентной производительности и правильных базовых алгоритмах, сильно попахивает мистикой
А такого предположения никто здесь, кажется, не делал. Я, например, обращал внимание лишь на то, что "правильных базовых алгоритмов" мы не знаем и неизвестно, когда узнаем. Вытащить их из мозга великих математиков на сегодняшний день нет никакой практической возможности.

*Предположительно* Может быть, изготовить некую сложную нейросеть и обучить ее на примерах доказательств?

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

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



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

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


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

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