Из книги

[AndrewN]

Цитата:

Формулировка <...> теоремы приведена <...>. Мы будем доказывать её в два этапа. Сначала будет доказана единственность решения, а затем <...> его существование.

На стр. 71, параграф 2.8, первый абзац. - Р.Блейхут, Быстрые алгоритмы ..., пер. И.И.Грушко, Москва, Мир, 1989.

[Klad33]

Опечатки нередко радовали читателей новыми смелыми смыслами. Профессор Флавиньи издал в 1648 году полемический трактат, в котором процитировал Евангелие от Матфея: "И что ты смотришь на сучок в глазе брата твоего, а бревна в твоем глазу не чувствуешь?" Фраза была приведена по латыни, но в обоих словах oculo (глаз) пропала начальная буква. Получилось culo, близкое грубому латинскому слову culus -- задница. Сучок и бревно оказались размещены вовсе не в глазу... Профессор и на смертном одре, 30 лет спустя, проклинал нерадивого типографа.
Больше всего от опечаток пострадала Библия. Пишут, что в одном издании было 6000 опечаток. А некоторые Библии в честь опечаток получили даже имена собственные. В 1631 году вышла в свет Библия, "виновная в супружеской неверности". В седьмой заповеди из набора выпала частица "не", и осталось просто: "Прелюбодействуй!" Король Чарльз I, который заказал это издание, приказал уничтожить весь тираж и лишить печатников лицензии. Но 11 экземпляров избежали злой участи и сохранились до наших дней.
В 1561 году вышел в свет трактат "Мессы и их построение" в 172 страницах, 15 из которых занял перечень опечаток, начатый с извинения: "Проклятый Сатана вооружился всеми своими хитростями, чтобы протащить в текст бессмыслицу". Возможно, именно это убедительное оправдание породило знаменитый по сей день каламбур -- "бес опечатки".

Неожиданные проблемы издательствам и редакциям приносит иногда и переход на компьютерные технологии. Так, в районной газете города Узловая был опубликован закон. Текст закона был найден журналистами в интернете, а вместе с ним в редакционный компьютер попал компьютерный вирус, который менял запятые на слово «блин». На стадии верстки «блины» в законе были, конечно, замечены и исправлены. Все, кроме одного... В последних строках опубликованного текста значилось: «Москва блин Кремль». Об этом происшествии сообщили «Hовыe Известия».

[bot]

Не понял, в чём прикол. В том, что сначала единственность, а потом существование доказывается? Методически в этом нет ничего особенного и даже исторически доказательства, бывает, в такой последовательности и идут и разделяются значительным промежутком времени.

[RIP]

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

[ewert]

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

[bot]

(Не пришло в голову, замыленную математикой)

На уровне бытовой интерпретации единственности действительно смешно.