об одной английской фразе

[avva]

Никак не могу понять, то ли эта английская фраза читается неоднозначно, то ли мне это мерещится.

Leo Brodie wrote, in his book, Thinking Forth, that `Given two adequate
solutions, the correct one is the simpler.' [1]

Sorry, but I beg to differ. I'd insist, with examples, that given two adequate solutions, the simpler one is the correct one.
This is obvious, so you can go away now.

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

Т.е. я вижу два возможных прочтения фразы "... the correct one is the simpler". Одно из них отвечает на вопрос: "which is the correct one?", а второе "which is the simpler one?". И автор фразы, и автор процитированного отрывка подразумевают первое прочтение, но автор отрывка думает, что автор фразы подразумевает второе. Как-то так. Хотя я уже не уверен, что мне все это не мерещится, и что все это не тавтология, и что тут действительно есть два возможных прочтения.

Comments

[faceted-jacinth.livejournal.com]

Пусть есть два решения, 1 и 2, оба адекватные (то есть корректные с математической точки зрения). Пусть уверждение А = "решение 1 проще решения 2" (заодно исключим из рассмотрения ситуации "1 и 2 одинаково просты" и "1 и 2 одинаково корректны"). Пусть утверждение Б = "решение 1 корректней решения 2". Первый аффтар утверждает, что А => Б & !А => !Б (то есть Б <=> А). Второй -- что Б => А & !Б => !А (то есть А <=> Б). Не правда ли?

[avva.livejournal.com]

Да. Но формальная эквивалентность не меняет того, что смысл вкладывается разный (см. коммент ниже).