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

Опубликовано flm - пн, 05/31/2010 - 09:50

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

(Матфаковское предание)

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

я примерно так-же встрял на странном предмете под названием "алгоритмы"

поскольку предмет был реально странным, я как-то не удосужился его учить, все понятно

на вопрос а сформулируйте такую-то фигню я ответил: щас подумаю и сформулирую

и тут-же получил банан