Из идей сложности и случайности, впервые высказанных Готфридом Лейбницем в его «Рассуждении о метафизике» (1686), и их подтверждения в современной теории информации следует, что невозможно создать «самую общую теорию всего» в математике, - утверждает профессор Грегори Чейтин (США), автор статьи "Пределы доказуемости", вышедшей в шестом номере журнала "В мире науки" за 2006 год.
Его работа основана на измерении информации и доказательстве того, что некоторые математические факты не удается втиснуть в теорию, потому что они слишком сложны. Согласно его подходу, Гёдель открыл только верхушку айсберга: существует бесконечное множество верных математических теорем, которые невозможно доказать, исходя из конечной системы аксиом.
Фото: кадр из фильма "Сталкер" Андрея Тарковского.