и строго каноническую форму.
И как не попытаться всё расчислить?
Егерь
И получилось?
Берсентьев
Более того.
Расчислил я границы вычислений.
Знать, слишком верток бес противоречья,
чтоб в алгебры ворота не пролезть.
Я теорему Геделя прочел,
в ней толковалось о любых системах,
из коих математика, которой
учили в школе, лишь один пример
из множества возможных построений.
Таинственное есть у них сродство:
как ни были б различны аксиомы
(эвклидовы, иль новый Лобачевский
хитро переиначил, смысл отняв),
изъяны одинаковы, смертельны:
когда в системе нет противоречий,
то возникают, разум леденя,
непостижимые уму химеры –
высказыванья, мысли, положенья,
другие построения, к которым
понятье лжи равно неприменимо
с понятьем правды. Ангелам подобны
из сонма тех, кто меж добром и злом.
(Задумчиво выпивает рюмку водки.)
Но есть и выход: только допусти
противоречье, хоть одну возможность
кому-нибудь быть правым и неправым
(тот правду говорит, в которой ложь
не в самой сердцевине угнездилась,
но тленьем тронула по ободку,
и следы тленья углубляют правду
и плоскости ее дают объем;
другой заврался так, границ не зная,
что, не заметя, перешел на правду,
ее хитрейшим вымыслом считая);
лишь допусти – чудовища исчезнут,
о каждой вещи сможем мы судить:
вот это ложь, а тут прямая правда,
а тут и ложь и правда воедино,
достойные двойного приговора,
свежи и неслиянны пребывают.
Гурин
Не знаю ваших формул; может, верно,
а может, нет о них вы трактовали –
досуга не имею разбирать;
вовне математических конструкций