Нестрогая интерпретация: В основе любого научного поиска лежит глубокое и иногда тревожное осознание: наши инструменты познания, какими бы совершенными они ни были, имеют свои пределы. Это подобно тому, как самая подробная карта неизбежно заканчивается на полях с пометкой «дальше — неизвестность». Знаменитые теоремы Курта Гёделя о неполноте математически подтвердили это интуитивное чувство. Они показывают, что в любой достаточно сложной логической системе всегда найдутся истинные утверждения, которые невозможно доказать, используя только правила самой этой системы...