2014 dxdy logo

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

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




Начать новую тему Ответить на тему На страницу 1, 2  След.
 
 Формула-убийца?
Сообщение10.03.2009, 16:52 


20/07/07
834
Можно ли построить такое логическое высказывание, чтобы любой мыслитель, который попытается определить его истинность, зациклился и не смог выйти из порочного круга без медицинского вмешательства? Можно ли "завесить" мозг?

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


01/03/06
13626
Москва
Nxx в сообщении #193772 писал(а):
Можно ли "завесить" мозг?
Да, мозги великих людей не раз завешивали: http://www.bsu.edu.ru:8833/chel/anatomiya/golovnoy.htm

 Профиль  
                  
 
 
Сообщение10.03.2009, 17:10 


20/11/08
29
Можно сформулировать заведомо ложное утверждение и объявить внушительную премию за его доказательство.
А жадность сделает свое дело.

 Профиль  
                  
 
 
Сообщение10.03.2009, 17:36 
Аватара пользователя


23/02/09
259
Nxx в сообщении #193772 писал(а):
Можно ли построить такое логическое высказывание, чтобы любой мыслитель, который попытается определить его истинность, зациклился и не смог выйти из порочного круга без медицинского вмешательства? Можно ли "завесить" мозг?

да, не решаемые задачи существуют в том числе и с бесконечными циклами в цепочке рассуждений :roll:

 Профиль  
                  
 
 
Сообщение10.03.2009, 17:44 


20/07/07
834
Одно дело - нерешаемые, другое дело - завешивающие.

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

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


28/09/06
10856
Nxx писал(а):
Если человек - машина Тьюринга, то должна быть и такая задлача. Ведь для любой машины Тьюринга можно придумать алгоритм, который ее завесит и приведет к бесконечному циклу, из которого машина не сможет выйти.

Машину Тьюринга завесит любая нерешённая математическая проблема. Если человек очень упёртый, то он тоже может на любой такой задаче завеситься (безуспешно искать решение до конца жизни).

 Профиль  
                  
 
 
Сообщение10.03.2009, 17:49 


20/11/08
29
Nxx писал(а):
Если человек - машина Тьюринга, то должна быть и такая задлача. Ведь для любой машины Тьюринга можно придумать алгоритм, который ее завесит и приведет к бесконечному циклу, из которого машина не сможет выйти.


Даем алгоритм подвешивающий машину Тьюринга человеку. Человек с легкостью прекращает его выполнять и избегает бесконечного зацикливания. Вывод: человек это не машина Тьюринга.

 Профиль  
                  
 
 
Сообщение10.03.2009, 17:58 


20/07/07
834
Цитата:
Если человек очень упёртый, то он тоже может на любой такой задаче завеситься (безуспешно искать решение до конца жизни).


Вот меня интересует, можно ли алгоритмически преодолеть человеческую защиту от зацикливания, и если нельзя, то почему?

 Профиль  
                  
 
 
Сообщение10.03.2009, 18:03 
Заслуженный участник
Аватара пользователя


09/02/09
2089
Минск, Беларусь
Потому что человек - не изолируемая в информационном смысле система.

 Профиль  
                  
 
 Re: Формула-убийца?
Сообщение10.03.2009, 19:22 
Аватара пользователя


15/11/06
2689
Москва Первомайская
Nxx писал(а):
Можно ли "завесить" мозг?

Если не мозг в целом, то некоторые его отделы можно. Из собственной практики знаю, что логические парадоксы способны на это. Например, парадокс брадобрея способен, поверьте. :)

 Профиль  
                  
 
 
Сообщение10.03.2009, 19:48 


24/03/07
321
Цитата:
В середине прошлого века канадский ученый Джеймс Олдс провел любопытный эксперимент. Лабораторным крысам в зону мозга, отвечающую за бодрствование, были вживлены микроскопические электроды. Ученый пытался выяснить, будут ли крысы избегать того места, в котором они подверглись воздействию тока. Как и ожидалось, подопытные животные очень быстро расхотели заходить в угол клетки, где их каждый раз поджидал неприятный «сюрприз». И только одна крыса почему-то упорно возвращалась в это «проклятое» место, снова и снова получая разряд тока.

Возможно, Джеймс Олдс сначала подумал, что и среди крыс встречаются мазохисты. Однако последующее вскрытие мозга этого зверька показало, что электрод был вживлен с некоторым отклонением и таким образом раздражал другую зону – так называемый центр удовольствия. Стало быть, если воздействовать на эту область мозга, то можно заставить крысу делать что угодно?

Дальнейший опыт подтвердил предположение ученого. Электрод, вживленный в этот участок мозга, обрек крысу на «приятную» смерть. Получив бесконтрольный доступ к токопроводящему рычагу, крыса нажимала на него как сумасшедшая – до 1000 раз в час (почти каждые 3,5 секунды!), забыв про еду и про сон, не обращая внимания ни на детенышей, ни на сексуальных партнеров. После нескольких дней беспрерывного «кайфа» крыса умерла от истощения.

 Профиль  
                  
 
 
Сообщение10.03.2009, 20:13 
Аватара пользователя


27/10/08
222
http://dxdy.ru/topic20211.html Этой задачкой, я, помнится, подвесил себе мозг на неделю.

 Профиль  
                  
 
 Re: Формула-убийца?
Сообщение12.03.2009, 22:26 


11/10/08
171
Redmond WA, USA
Nxx писал(а):
Можно ли построить такое логическое высказывание, чтобы любой мыслитель, который попытается определить его истинность, зациклился и не смог выйти из порочного круга без медицинского вмешательства? Можно ли "завесить" мозг?


А что такое медицинское вмешательство? Выпить таблетку снотворного и уснуть - это вмешательство? И вообще, человек - не "однопоточное" существо. Он может одновременно думать и заниматься чем-то еще. Или на какое-то время отвлечься от обдумывания сложной (неразрешимой?) задачи и вернуться к ней позже. Или устать. Или прекратить обдумывание волевым решением или под влиянием внешних обтоятельств.

Но все-таки есть задачи, который создают некоторое ощущение зацикленности, например http://dxdy.ru/topic16685.html.

 Профиль  
                  
 
 Re: Формула-убийца?
Сообщение15.03.2009, 17:18 
Заблокирован
Аватара пользователя


16/12/08

467
Краснодар
Nxx писал(а):
Можно ли построить такое логическое высказывание, чтобы любой мыслитель, который попытается определить его истинность, зациклился и не смог выйти из порочного круга без медицинского вмешательства? Можно ли "завесить" мозг?

Нельзя.

 Профиль  
                  
 
 
Сообщение15.03.2009, 20:05 
Аватара пользователя


15/11/06
2689
Москва Первомайская
Как думаете, а связана эта тема с тем, что Георг Кантор страдал маниакально-депрессивным психозом?

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

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



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

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


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

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