«Поскольку мы можем генерировать номера Гёделя для всех формул, даже ложных, мы можем осмысленно рассуждать о них, используя их номера Гёделя. Также можно подставить собственный номер Гёделя, обозначающий формулу, в саму формулу – а это уже ведёт к нескончаемым проблемам».
Или – «если набор аксиом непротиворечив, он неполон. Это первая теорема Гёделя о неполноте. Из неё легко следует вторая – ни один набор аксиом не может доказать свою непротиворечивость».
Или – «существует истинная формула, которую нельзя доказать».
Курт Фридрих Гёдель (1906 – 1978 гг.), австрийский немец.
Справка: спустя пять лет, в середине 1930-х, близкие ставшего буквально в одночасье мировой знаменитостью человека по имени Курт стали замечать в нём признаки психического расстройства, в частности параноидальный страх отравления, подозрения в адрес холодильника как потенциального отравителя, галлюцинации и проч.
Умер Гёдель примерно с тем же диагнозом, что и… Гоголь: недоедание и истощение, вызванные расстройством личности.
Слава великим безумцам Последнего времени?
