Почти все, кто когда-либо сталкивался с формальной логикой, наверняка слышали про парадокс лжеца. Есть два типа людей: одни говорят лишь правду, а другие только ложь. Что за человек произносит фразу «Это утверждение ложно»?. Если человек говорит правду, то утверждение ложно, а если он врет — то утверждение правдиво. Задача не решаема. Можно провести аналогию с функцией в программировании — функция преобразует какие-либо данные. Но функция «Это утверждение ложно» ссылается сама на себя — это получается функция производящая переменную, сама же её преобразующую и никак не влияющую на другие функции и данные вне себя. Соответственно такая функция некорректна — её данные никак не измерить кроме того что находится внутри неё, а внутри неё можно городить что угодно, может быть там число Пи равно 4 и из-за этого классический круг становится квадратом.
Я предлагаю вам другую задачку, очень даже решаемую за пару секунд.
Жил да был благородный рыцарь никогда не позволивший себе сказать ложь кому-либо. И был оруженосец, всю жизнь только и делавший что говоривший неправду. Как-то раз путешественник повстречал обоих персонажей на дороге. Отвесил им уважительный поклон и продолжил идти своей дорогой. Но уже пройдя мимо них, путешественник услышал за спиной чей-то голос. Чей это был голос путешественник не знал — и оруженосец и рыцарь до того момента молчали. И что же сказал голос? «Я тебя обману и предам». Если это сказал оруженосец, то он сказал правдивую информацию о том что он солжет. А если это сказал рыцарь — то он сказал правду и при этом говорит что солжет. — в обоих случаях имеется место расхождение с их стандартным поведением. Так кто это сказал? Или скажем так, кто будет думать дольше двух секунд — кто вероятнее всего это сказал? |