Кронос-байки

 

Паранепротиворечивая логика

Позвонил однажды Игорь Андреевич Лавров Евгению Андреевичу Палютину и спросил:
- Женя, если бы я умер, ты бы взялся читать мой курс?
- Если бы умер - то, наверное, взялся бы.
- Ну так считай, что я умер – меня избрали первым секретарём райкома КПСС.
(Матфаковское предание)

В силу вышеописанных обстоятельств, Палютин читал логику на нашем курсе первый год. На экзамене, после того, как Леопольд успешно ответил на билет и решил задачи, уже собираясь поставить заслуженную пятёрку, Евгений Андреевич благодушно завёл разговор на разные посторонние темы: как вам, дескать, курс, всё ли было понятно, а может, остались какие-то неясности… Наивный Леопольд честно ответил, что да, есть неясность, а именно – теорема Гёделя о неполноте исчисления высказываний. Реакция Палютина последовала мгновенно:
- Теорему Гё-о-о-оделя не знаете?!! Два!