Lex Kravetski (lex_kravetski) wrote,
Lex Kravetski
lex_kravetski

Categories:

Задача "на подумать"

 

 

Существует рассуждение, назовем его «теорией» (не я придумал, у других увидел):

 

1.                 В библии есть утверждения, являющиеся правдой (проверено на эксперименте).

2.                 Следовательно, вероятность истинности произвольно выбранной фразы в библии > 0.

3.                 Есть описание некоторого чуда.

4.                 Об этом чуде есть упоминание в библии.

5.                 Поскольку вероятность истинности произвольно выбранной фразы в библии > 0, то и вероятность чудесного события из пункта 3 тоже больше нуля.

6.                 Вывод: чудеса могут произойти (их вероятность > 0)

 

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

 

Пытаемся применить эту теорию:

Есть текст:

1.      A равно А.

2.      B не равно B.

 

Первый пункт текста, очевидно, правильный. Следовательно, по пункту 2 теории, вероятность истинности произвольно выбранной фразы текста больше нуля.

Берем утверждение:

 

«Есть предметы, которые не являются сами собой»

 

Оно является прямым следствием второго пункта текста. Отсюда следует, что вероятность верности этого утверждения также больше нуля. Однако, очевидно, что вероятность верности этого утверждения равна нулю – оно противоречит первому закону логики. Парадокс.

 

Предлагается найти ошибку в теории. Сразу предупреждаю, ошибка – неочевидна, несмотря на кажущуюся ее очевидность.

 

 

Subscribe

  • Тенденция к локальным контекстам

    Я ещё помню те времена, когда мощным современным языком считался чистый C, где, в частности, существовали заголовочные файлы. По замыслу…

  • Проверка диапазона во время компиляции

    В Scala 3, с одной стороны, можно завести тип, имя которого — просто некоторое число, с другой стороны, можно делать вычисления с типами, а с третьей…

  • О разработке магических языков

    Смысл программ на Scala состоит в том, чтобы придумать и описать где-то так семь слов, при помощи которых вы сможете сказать всё по выбранной вами…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 99 comments

  • Тенденция к локальным контекстам

    Я ещё помню те времена, когда мощным современным языком считался чистый C, где, в частности, существовали заголовочные файлы. По замыслу…

  • Проверка диапазона во время компиляции

    В Scala 3, с одной стороны, можно завести тип, имя которого — просто некоторое число, с другой стороны, можно делать вычисления с типами, а с третьей…

  • О разработке магических языков

    Смысл программ на Scala состоит в том, чтобы придумать и описать где-то так семь слов, при помощи которых вы сможете сказать всё по выбранной вами…