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

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




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

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

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

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

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

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

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

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

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

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


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

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


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

 
Аватара пользователя
Потому что человек - не изолируемая в информационном смысле система.

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

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

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

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

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

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

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


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

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

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

Нельзя.

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

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


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