2014 dxdy logo

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

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




На страницу 1, 2  След.
 
 Формула-убийца?
Сообщение10.03.2009, 16:52 
Можно ли построить такое логическое высказывание, чтобы любой мыслитель, который попытается определить его истинность, зациклился и не смог выйти из порочного круга без медицинского вмешательства? Можно ли "завесить" мозг?

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

 
 
 
 
Сообщение10.03.2009, 17:10 
Можно сформулировать заведомо ложное утверждение и объявить внушительную премию за его доказательство.
А жадность сделает свое дело.

 
 
 
 
Сообщение10.03.2009, 17:36 
Аватара пользователя
Nxx в сообщении #193772 писал(а):
Можно ли построить такое логическое высказывание, чтобы любой мыслитель, который попытается определить его истинность, зациклился и не смог выйти из порочного круга без медицинского вмешательства? Можно ли "завесить" мозг?

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

 
 
 
 
Сообщение10.03.2009, 17:44 
Одно дело - нерешаемые, другое дело - завешивающие.

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

 
 
 
 
Сообщение10.03.2009, 17:48 
Аватара пользователя
Nxx писал(а):
Если человек - машина Тьюринга, то должна быть и такая задлача. Ведь для любой машины Тьюринга можно придумать алгоритм, который ее завесит и приведет к бесконечному циклу, из которого машина не сможет выйти.

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

 
 
 
 
Сообщение10.03.2009, 17:49 
Nxx писал(а):
Если человек - машина Тьюринга, то должна быть и такая задлача. Ведь для любой машины Тьюринга можно придумать алгоритм, который ее завесит и приведет к бесконечному циклу, из которого машина не сможет выйти.


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

 
 
 
 
Сообщение10.03.2009, 17:58 
Цитата:
Если человек очень упёртый, то он тоже может на любой такой задаче завеситься (безуспешно искать решение до конца жизни).


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

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

 
 
 
 Re: Формула-убийца?
Сообщение10.03.2009, 19:22 
Аватара пользователя
Nxx писал(а):
Можно ли "завесить" мозг?

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

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

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

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

 
 
 
 
Сообщение10.03.2009, 20:13 
Аватара пользователя
http://dxdy.ru/topic20211.html Этой задачкой, я, помнится, подвесил себе мозг на неделю.

 
 
 
 Re: Формула-убийца?
Сообщение12.03.2009, 22:26 
Nxx писал(а):
Можно ли построить такое логическое высказывание, чтобы любой мыслитель, который попытается определить его истинность, зациклился и не смог выйти из порочного круга без медицинского вмешательства? Можно ли "завесить" мозг?


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

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

 
 
 
 Re: Формула-убийца?
Сообщение15.03.2009, 17:18 
Аватара пользователя
Nxx писал(а):
Можно ли построить такое логическое высказывание, чтобы любой мыслитель, который попытается определить его истинность, зациклился и не смог выйти из порочного круга без медицинского вмешательства? Можно ли "завесить" мозг?

Нельзя.

 
 
 
 
Сообщение15.03.2009, 20:05 
Аватара пользователя
Как думаете, а связана эта тема с тем, что Георг Кантор страдал маниакально-депрессивным психозом?

 
 
 [ Сообщений: 28 ]  На страницу 1, 2  След.


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