Теория тормозов и наездов
Шрифт:
Цитата 2.1 Все на свете когда-нибудь кончается.
Цитата 2.2 Плохое не кончается никогда.
Следствие 2.1 Hа свете нет ничего плохого.
Следствие 2.2 Hаезды - это хорошо.
Постулат 2.1 Все хорошее надо развивать.
Постулат 2.2 Чтобы развивать что-либо, под него необходимо подвести теоретическую основу.
Таким образом, неопровержимо доказан неоценимый вклад этой монографии в сокровищницу знаний человечества, и мы можем перейти непосредственно к рассмотрению теории, не заостряя внимания на вопросе "А нужно ли это хотя бы кому-нибудь?".
Следствие 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. Введение в некоторые малоизученные вопросы.
====================================================
Если не загружать студента как
следует, он пойдет торговать
пивом у метро.
/ декан ВМиК Д.П.Костомаров.
Из беседы /
До тех пор, пока студенты не начнут поголовно торговать пивом, именно они будут двигать науку вперед там, где любой нор- мальный ученый предпочтет заняться чем-либо более полезным. Теория тормозов и наездов - еще очень молодая наука, в которой куда больше вопросов, нежели ответов на них. Так, например, рассмотрим
Определение 4.1 Тормозным пространством называется объединение замкнутых областей мехмата и физфака.
Что из этого следует? А вот на этот вопрос придется отвечать Вам самим, мои уважаемые читатели. Если хотите, можете считать это домашним заданием.
***********
Приложения.
***********
Анекдоты.
=========
Анекдот 1.1 Едет поезд по рельсам, вдруг сворачивает и - по
лугу, по полю, по лесу... Машинист спрашивает по
мошника:
– Ты это чего?
– Да, на рельсах мужик сидел.
– Так давил бы!
– Так только у леса и догнал!!!
Анекдот 1.2 Физик захотел сварить яйцо. Он поставил кипя
титься воду, положил в нее первое яйцо, через пять
минут второе и т. д. Через час он вынул первое яй
цо. Оно было еще жестким.
Анекдот 3.1 Звонит С++ по сети:
– Вам тормоза нужны?
А Clipper отвечает:
– Спасибо, у нас уже есть.
Краткий толковый словарь.