Фига как аргумент Гёделя

Гёдель - не Гегель и не Гоголь.
Он фигу показал конкретно
Всем математикам с порога,
Чего никто не ожидал,
Кто грезил формой полноты.

---

Математики в выводах тужились
Описать полноту чтоб систем.
Но вот с формами как-то не сдюжили,
Получив от какого-то Гёделя
"Фигу с маслом" из двух теорем.

Аргумент сей во все сферы тыкают,
Словно оберег от полноты
Всех формальных систем, коих ведают
Как-то без антитезиса Гегеля,
А о синтезе - только мечты.

Вопрошают с мечтами философы -
Где, мол, сущность формальных систем?
Есть ли в них диалектики способы,
Чтоб по Гегелю вникнуть бы в Гёделя,
Да найти бы в нём кучу проблем?

Связь философа и математика
Не для всех формалистов пройдёт.
И один из них с видом лунатика
В знак протеста плакат уж несёт -
МОл, философ суть к нам не войдёт!

Им бумерангом вердикт-практик:
В среду формальных мудрецов
"Да не войдёт суть математик!",
Чей текст как битов лишь явленье,
А вот с кубитом - невезенье.

....


Рецензии