Неизвестная Канада   ::   Кригер Борис

Недаром великий математик Курт Гёдель утверждал, что только в сказках мир имеет смысл и какую-никакую осмысленную направленность. Реальность же лишена этого разумного свойства сказочного повествования. Курт знал, о чем говорил. Ведь именно он навек лишил нас веры в любой язык, сформулировав и доказав свои знаменитые теоремы о неполноте (неполнота в данном случае не имела никакого отношения к диете или всеобщей мании похудания). Одна из этих теорем гласила, что любой язык, достаточно сильный для определения натуральных чисел (например, логика второго порядка или, скажем, русский мат), является неполным. То есть содержит высказывания, которые нельзя ни доказать, ни опровергнуть, исходя из аксиом этого языка. Неровен час, открыв такое, захочется убежать прочь из весьма загаженной сомнениями и неразрешенными вопросами реальности в глухую провинциальную глубинку человеческой мысли – в хрустально-наивную сказку, где сказочные персонажи наконец-то поставят все на свои места!

Гёдель, в свою бытность в Принстоне, любил помногу раз смотреть знаменитый диснеевский мультик «Белоснежка и семь гномов». Интересно, с каким из гномов ассоциировал себя ученый? Наверняка с Чихуном, потому что все время кутался в пальто и даже летом включал отопление. В таком случае Эйнштейн был гномом по имени Весельчак, перфекционист Вольфганг Паули – гномом по имени Дока, Нильс Бор – гномом по имени Ворчун, Эрвин Шрёдингер со своим ни живым ни мертвым котом был как минимум гномом Молчуном, а вот кто оказался Глупышом и Соней – рассудит будущая история науки.