Теория тормозов и наездов - [3]

Доказательство непосредственно следует из пункта 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 отвечает:

- Спасибо, у нас уже есть.

Краткий толковый словарь.

=========================

Башмак - см. Каблук.

Бронежилет - условие согласия автора на встре

чу с прочитавшим монографию физ

факовцем.

Бюрократ - см. КМЛ, [0000:019C].

Глава - принятый в настоящей книге спо

соб буферизации данных.

Глоссарий - таблица перекрестных ссылок (ее

здесь нет).

Каблук - тормоз для мужа на ногах у жены.

КМЛ - Классики мировой литературы. При

мечание: если вслед за ссылкой

указываются два разделенных двое

точием шестнадцатиричных числа в

квадратных скобках, первое указы

вает сегмент (номер страницы от

носительно нулевой страницы пер

вого тома), а второе - смещение,

т.е. номер символа относительно

нулевого символа нулевой строки.

При разборе ссылок рекомендую запастись детальной картой памяти типичной IBM PC [ AT ] или проштудировать Список ссылок (см. ниже).

Крокодил - более длинный, чем зеленый.

Hемаскируемые прерывания - прерывания, при маскировке которых компьютер уходит в себя вплоть до Reset.

Определение - в частности, форма подачи данных

в научных трудах и толковых сло

варях (см. также Разъяснение).

Постулат - то, что автор не смог доказать.

Пример - то, что должно быть ясно даже

тем, кто прочел статью "Разъясне

ние" (см.), или, во всяком слу

чае, тем, кто не только пытался

ее прочесть, но и умеет читать.

Разъяснение - то, что, по-видимому, часто тре

буется тем, кто читает эту статью.

Список ссылок - одна из частей настоящего Прило

жения.

Теория - способ временно или постоянно не

заниматься практикой.

Список ссылок.

==============

[0000:0054] - адрес Int 15h (в частности, управление

Expanded Memory без использования Expanded

Memory Manager).

[0000:0084] - адрес Int 21h (ah=52h - адрес главного реес

тра ДОС).

[0000:019C] - адрес Expanded Memory Manager.

[0040:0018] - старший байт состояния клавиатуры; бит 3 - флаг

состояния Pause.

[0040:0040] - счетчик торможения тормоза мотора.