Сможете решить загадку с парадоксом тролля? — Дэниел Финкель

Смотри урок полностью: https://ed.ted.com/lessons/can-you-solve-the-troll-s-paradox-riddle-dan-finkel

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

Урок — Дэн Финкель, режиссёр — Artrake Studio.

Вы обнаружили дверь в другое измерение,

и теперь вместе с братом исследуете

прекрасный мир Парадоксики.

Вокруг вас ползают, бегают и летают
фантастические парадоксальные существа.

Затем вы видите тролля.

Он ловит всех существ в огромную сеть.

Вы отважно шагаете вперёд
и требуете отпустить их.

Тролль смеётся и отвечает:
«Если ты так любишь парадоксы,

предлагаю сделку: если ты скажешь правду,

я отпущу всех этих существ».

Прежде чем вы успеваете
сказать: «Ты — тролль»,

тролль хватает вашего брата.

«Если ты скажешь ложь», — продолжает он, —
«тогда я освобожу твоего брата.

Утверждение должно содержать
не более одного предложения.

И помни, больше всего в мире
я ненавижу парадоксы.

Если попытаешься сжульничать
и скажешь что-то вроде:

«Это утверждение ложное»,

тогда я съем и твоего брата,
и всех существ».

Какое истинно-ложное утверждение
можно использовать,

чтобы освободить брата
и парадоксальных существ?

[Нажмите на паузу, чтобы решить
задачу самостоятельно!]

[Ответ через: 3]

[Ответ через: 2]

[Ответ через: 1]

Ситуация кажется безвыходной,
но вы всё же можете сказать кое-что,

что заставит тролля
отпустить всех пленных.

Это пример принуждающей логики;
данный термин ввёл великий логик

и создатель головоломок Рэймонд Смаллиан.

Смаллиан придумал уловку,

при которой утверждение может быть
ложным или истинным в зависимости от того,

какого действия вы хотите
добиться от тролля.

При этом ваше утверждение
нужно продумать досконально.

Например, если вы скажете:

«Ты освободишь существ и моего брата»,

тролль ответит: «Это неправда...
Поэтому я освобождаю только твоего брата».

То же случится, если вы скажете:
«Ты освободишь существ», а тролль ответит:

«Это правда» и освободит их.

Но вот что произойдёт, если вы скажете:

«Ты освободишь моего брата» —

это утверждение не может быть ложным,

потому что в таком случае троллю,
по его же собственным правилам,

придётся освободить вашего брата.

Так утверждение превращается в парадокс
и является и правдивым, и ложным.

Однако тролль ненавидит парадоксы

и никогда не захочет создать один из них.

Поэтому единственный для него выход —
признать, что утверждение истинное.

Если «ты освободишь моего брата» — истина,

троллю придётся освободить вашего брата.

А по им же установленным правилам
троллю придётся также освободить существ,

поскольку ваше утверждение
является истиной.

Орудуя пятью словами,
словно логическим скальпелем,

вы заставили тролля
освободить всех пленных.

Пока тролль гневно топает,

парадоксы благодарят вас за освобождение

и обещают проводить по лестнице,
ведущей к сокровищам.

Если, конечно, вы её осилите.