Головоломка о мастере подземелий. Alex Rosenthal - видеоролик
Изучение английского языка с помощью параллельных субтитров ролика "Головоломка о мастере подземелий".
Метод интервальных повторений для пополнения словарного запаса английских слов. Встроенный словарь.
Всего 828 книг и 2807 познавательных видеороликов в бесплатном доступе.
страница 2 из 3 ←предыдущая следующая→ ...
00:02:22
meaning the cleric is lying.
то есть клирик — лжец.
If Agan is also telling the truth,
Если Эган тоже говорит правду,
Beorn must be the lying cleric
by the process of elimination.
значит, методом исключения
Беорн и есть лжец-клирик.
But Agan’s statement contradicts this
by saying that Beorn
Однако утверждение Эган
противоречит этому:
can’t be both lying and a cleric,
leaving no possible cleric.
Беорн не может быть и лжецом, и клириком,
что не оставляет вариантов для клирика.
00:02:42
If, on the other hand, Agan is lying,
С другой стороны, если Эган лжёт,
then her statement means Beorn
is a lying cleric.
то её утверждение означает,
что Беорн — лжец-клирик.
Now we need to look at Bjorn’s sentence.
Теперь нам нужно взглянуть
на то, что сказал Беорн.
And this is where things get tricky,
because the way it’s structured,
И тут всё усложняется, потому что из того,
как он это сформулировал,
it can be confusing understanding
what a lie would be.
трудно понять,
что тут является ложью.
00:03:00
So let's simplify.
Поэтому давайте упростим.
Beorn stated two facts, and said
that exactly one of them is true.
Беорн изложил два факта и сказал,
что верен только один из них.
So if Beorn is telling the truth,
То есть если Беорн говорит правду,
it could be that 1 is true and 2 is false,
or 1 is false and 2 is true.
то, возможно, 1 — правда, а 2 — ложь,
или 1 — ложь, а 2 — правда.
And if Beorn is lying, it means that
1 and 2 are both true or both false.
А если Беорн лжёт, значит, либо и 1,
и 2 верны, либо оба ложны.
00:03:23
This is equivalent to the XOR, or
exclusive OR, function in Boolean algebra,
Это то же, что XOR, или операция
«исключающее ИЛИ», в булевой алгебре —
a branch of mathematics that deals
with logical operations.
разделе математики, изучающем
логические операции.
Boolean algebra is the underpinning
of the electronic logic gates
Булева алгебра лежит в основе
электронных логических элементов,
that allow computers to function,
обеспечивающих работу компьютеров,
using 1′s and 0′s
instead of true and false.
используя цифры 1 и 0
вместо значений «правда» и «ложь».
00:03:43
So now let’s assess Beorn’s statement
based on what we know.
Итак, давайте рассмотрим утверждение
Беорна с учётом того, что нам известно.
We’re assuming that Agan is a liar,
making 1 true and 2 false—
Мы предполагаем, что Эган лжёт,
то есть 1 — правда, а 2 — ложь,
because Beorn would be the cleric.
потому что клириком
в этом случае будет Беорн.
But in that case,
Beorn would be telling the truth,
Но в этом случае
Беорн говорит правду,
which contradicts the idea
that the cleric is a liar.
что противоречит утверждению,
что клирик — лжец.
00:04:02
In other words,
if Cedar is telling the truth,
Иначе говоря, если Кедр говорит правду,
Agan can't be telling the truth or lying.
Эган не может ни говорить
правду, ни лгать.
Therefore, Cedar must be lying,
so the cleric is telling the truth.
Следовательно, Кедр лжёт,
а клирик говорит правду.
So again, let’s consider
the possibilities for Agan.
Итак, давайте снова
рассмотрим варианты Эган.
She can’t be lying, because then
Beorn would be a lying cleric,
Она не может лгать, потому что
тогда Беорн будет лживым клириком,
00:04:23
which we know isn't possible.
что, как нам известно, невозможно.
So Agan must be telling the truth,
Значит, Эган говорит правду,
and we’re back to our
truth table for Beorn.
и мы возвращаемся к значению
«правда» о Беорне в таблице.
Statement 1 is false.
Утверждение 1 неверно.
And if the second were false,
Beorn would be a lying cleric;
А если бы второе было ложным,
Беорн был бы лживым клириком;
00:04:37
again, impossible.
опять же, это невозможно.
So statement 2 is true,
making both Agan and Beorn truthtellers,
Таким образом, утверждение 2 верно,
а значит, и Эган, и Беорн говорят правду,