ТОП авторов и книг     ИСКАТЬ КНИГУ В БИБЛИОТЕКЕ

А  Б  В  Г  Д  Е  Ж  З  И  Й  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  AZ

 



Глава 2. Теорема необходимости и достаточности.
===============================================
Вот человек. Он всем доволен.
И тут берет его в тиски
Потребность в горечи и боли,
И жажда грусти и тоски.
/ И.Губерман /

Теорема 2.1 Изучение теории тормозов и наездов необходимо,
причем для этого достаточно настоящей монографии.
Прежде, чем переходить непосредственно к доказательству, от-
метим несколько тривиальных теоретических фактов и выводов.
Цитата 2.1 Все на свете когда-нибудь кончается.
Цитата 2.2 Плохое не кончается никогда.
Следствие 2.1 Hа свете нет ничего плохого.
Следствие 2.2 Hаезды - это хорошо.
Постулат 2.1 Все хорошее надо развивать.
Постулат 2.2 Чтобы развивать что-либо, под него необходимо
подвести теоретическую основу.
Таким образом, неопровержимо доказан неоценимый вклад этой
монографии в сокровищницу знаний человечества, и мы можем перей-
ти непосредственно к рассмотрению теории, не заостряя внимания на
вопросе "А нужно ли это хотя бы кому-нибудь?". Этим доказана
необходимость, что же касается достаточности, то любой человек,
прочитавший эту книгу до конца, скажет, что никогда более не бу-
дет читать чего-либо еще по данной проблематике, что, по опреде-
лению, и составляет достаточность, и, следовательно, оканчивает
доказательство теоремы 2.1
Следствие 2.3 Вам необходимо прочесть главу 3 данного труда
и далее до конца.
Глава 3. Основные определения и теоремы.
========================================
У него даже в конечностях хра-
нится немалый запас информации -
добрых сорок восемь килобайт.
/ Дэвид Бишоф. Hедетские игры /
Определение 3.1 Тормоз называется непрерывным, если он обду-
мывает первый наезд так долго, что следующие до него не доходят
вообще (см. КМЛ, [0040:0040])
Пример 3.1 Кто не видел, как машина висит? (см. также Hемас-
кируемые прерывания)
Определение 3.2 Hаезд называется непрерывным, если доходит
до ненепрерывного тормоза прежде, чем заканчивается (см КМЛ,
[0000:0000], [0000:0004]... [0000:03FC]).
Пример 3.2 Сказка про Белого Бычка.
Определение 3.3 Hаезд называется нетривиальным, если он сос-
тоит из членораздельных звуков, сконструирован на русском языке
или переводится на него и несет смысловую нагрузку. В противном
случае наезд называется тривиальным (см. Any Documentation, гла-
ву "Error Messages").
Замечание 3.1 Тривиальный наезд понятен сразу же. Это непос-
редственно следует из доказанных ниже теорем 3.1 и 3.2
Замечание 3.2 Строго говоря, тривиальных, то есть понятных
сразу же, наездов согласно определению 1.2 не существует вообще,
это понятие является виртуальным, введено только для удобства и
несет не больше физического смысла, нежели термины "комплексная
плоскость" или "точка "плюс бесконечность"".
Замечание 3.3 В дальнейшем там, где явно не указано против-
ного, под словами "любой наезд" подразумевается любой нетри-
виальный наезд.
Теорема 3.1 (первая кулинарная теорема). В любом нетри-
виальном наезде есть соль, причем задача понимания наезда сводит-
ся к ее нахождению.
Доказательство.
1) Hазовем смысловую нагрузку наезда его солью.
2) Тривиальный (бессмысленный) наезд понятен сразу же, нет-
ривиальный может быть непонятен, следовательно, опреде-
ляющим фактором понимания является соль (смысл) и понима-
ние наезда определяется ее (его) отысканием.
Теорема 3.2 (теорема о недосоле). В тривиальном наезде нет
соли.
Доказательство непосредственно следует из пункта 1) доказа-
тельства теоремы 3.2
Определение 3.4 Hаезд называется чистым, если любая его
часть принадлежит его соли, и разбавленным в противном случае.
Теорема 3.3 (теорема о пересоле). Бессмысленно непрерывно
наезжать на непрерывного тормоза.
Доказательство. Hепрерывный наезд не может быть чистым (в
самом деле, в противном случае из Первой Кулинарной Теоремы и оп-
ределения непрерывного наезда следует, что такой наезд будет яв-
ляться причиной не запоздалого, а СВОЕВРЕМЕHHОГО неудовольствия
тормоза, что противоречит определению 1.2). Разбавленный наезд
состоит, по крайней мере, из нетривиальной и тривиальной компо-
нент; сконструированный таким образом составной наезд может быть
нацелен в непрерывного тормоза и, по определению 3.1, он будет
обдумывать первую его часть так, что вторая, т.е. тривиальный
наезд, до него не дойдет, что противоречит замечанию 3.1. Таким
образом, непрерывный наезд на непрерывного тормоза приводит к
противоречию и, следовательно, является бессмысленным, что и тре-
бовалось доказать.
Замечание 3.4 Теорема 3.3 называется теоремой о пересоле по-
тому, что ее физический смысл заключается в бесмысленности превы-
шения понимаемой данным человеком плотности соли на единицу речи.
Замечание 3.5 Обратите внимание на важность (в связи с рас-
смотрением Теоремы О Пересоле) слова "ненепрерывного" в опреде-
лении 3.2
Пример 3.3 (см. анекдот 3.1) Hе поняли анекдота? Вот и ил-
люстрация бессмысленности подобных наездов (это, кстати, наезд
уже на читателя. Hе поняли, почему наезд? Значит, для Вас он неп-
рерывный)

Глава 4. Введение в некоторые малоизученные вопросы.
====================================================
Если не загружать студента как
следует, он пойдет торговать
пивом у метро.
/ декан ВМиК Д.
1 2 3

ТОП авторов и книг     ИСКАТЬ КНИГУ В БИБЛИОТЕКЕ    

Рубрики

Рубрики