Стихи

Георгий Синченко

1. Вдруг позабыв, что Бог добр, но суров,
Лучший из самых возможных миров
Лейбниц улучшить решил исчислением,
Но был отравлен своим поколением.
2. Кантор по множеству разных причин
Множить любил, не любя величин.
Множество а множа множеством бэ,
К и он подкрался по множеств трубе.
3. Ставя превыше всего чистоту,
Буль превзошел не одну высоту
И, математику чистя от чисел,
Вычислил чистый логический смысл.
4. Утром да вечером тыкал в Венеру
Пальцем, играя у смысла на нервах,
Лысый захватчик французского трона,
Волею Фреге надевший корону.
5. Бороды брил брадобрей, и напрасно:
Множеств нормальных картина ужасна.
Сбрей брадобрей все нормальные множества,
Хуже навряд ли бы вышло художество.
6. Мазал Болванщик хлеб сливочным маслом.
Винер сказал: "Это ж вылитый Рассел!"
Винер был кормчий великий, но знаем:
Флагман эскадр его не был Китаем.
7. Брауэр дерзкий был прав и был брав,
Махом лишив отрицание прав.
К правде кривой колеею вслед Клавию
Вправе лишь классика ползать по гравию.
Третье вонзил интуиционизм
В лживо-двуистинностный организм.
Ныне покончено с прежним двуличием,
А заодно - с лжи от не-лжи отличием.
9. Про очевидное Гильберт Давид
Молвил: "Меня разве тот убедит,
Кто в очевидном найдет доказательство,
Что очевидное - не надувательство!"
10. Гёдель вполне хорошо доказал,
Что невполне... Был полнейший скандал!
Лихо сверкнув разрешимости пяткой,
В небыль умчались былые порядки.
11. Выбрать ли выбора нам аксиому?
Нет? - Хорошо. Арифметику - в омут!
Френкель за нею последовал смело...
Спас их обоих, конечно, Цермело.
12. Тьюринг машину придумал, но ленты
Нужной длины нет для эксперимента.
Верить приходится, в общем, на слово.
Знать бы, длинна ли у слова основа...
13. Если в системах эс-три и эс-пять
Скота закон продолжает гулять,
То, если выручил Льюиса Фейс,
Значит, модальная логика есть!
14. Как на паркете из множеств нечетких
Чинной дедукцией выбить чечетку?
Учит танцоров маэстро Заде.-
Класс! Но нечеткость везде ли в узде?
15. К логике снежная финнов страна
Необычайно по-фински нежна.
Выгнал Хинтикка на финский мороз
За индивидами функцию в кросс.
16. Вригт постулировал, что обязательно
Необходимо и крайне желательно
Здравым желаньям идти на прокорм
Разуму наших логических норм.
17. По теореме Мак-каллока-Питтса
Может компьютер сожрать схему пиццы.
Вывод: по методу, к нам восходящему,
Нас же и слопает по-настоящему!

...Жару задаст нам компьютер, поэтому
Время настало одеться по-летнему.
Летней жары опаленные миги
К осени ближе срифмую в интриги.
Чёрчем зачёрчу и Постом спощу,
Если попросят, Мостовским смощу.
Или же кем-нибудь ил-люминирую,
Или Рамсеем э-ли-ли-минирую.
Клини клянусь:
Чтоб зима задрожала,
Осенью острым у рифм будет жало!

Посвящается Любови, Логике, Любви к Логике, а также Логике как Лирике и Лирике вне Логики

Ты - пропозиция, я - твой функтор.
Из дефиницией данных пунктов
Четко по правилу подстановки
Строим контекст нашей маркировки:

Ты - денотат, я - концепта дальность,
Я - оператор, а ты - модальность.
Я - твой сорит, ты - моя энтимема,
Я - аргумент, а ты - теорема.

Ты - предикат при моем субъекте,
Я - contradictio in adjecto ^[*1].

Ты - соразмерность, я - круг порочный,
Нашей конъюнкции член я прочный. 

Я - симметричность твоих конверсий,
Ты - мой логический универсум.
Ассерторически мыслю вкратце:
Ты - парадокс неких импликаций.

Хочешь, пойдем почитаем Клини?
(Так под тебя подбиваю клинья).
Вызубрим "Логику" Мендельсона,
А в тезкиной музыке нет резона.

Ты конструктивна и, рефлексивно,
Строго классична и эффективна.
В тождестве оба конца вакантны.
Будь мне логическою константой!

Встань на котурны ли, на пуанты,
В логике оба мы не гиганты,
Даже не гегели и не канты...
Духа и нравов ее ваганты,
Мелом поросшие лаборанты,
Пишем логические диктанты,
Кванторы - наших знаний кванты.
Термины эти экстравагантны,
Лирикам чужды, как банту манты.

Скажешь, что лирикам стало дурно?
Ну их в reductio ad absurdum ^[*2]!