28 апреля 1906 года, 115 лет назад, родился Курт Гедель, австрийский логик, математик и философ математики. Курт Гедель. Фото: hochyvseznat.ru Курт Фридрих Гёдель (нем. Kurt Friedrich Gödel), австрийский...

Безусловно. Он доказал в своих трудах что человеческий разум способен вырабатывать истины, которых нельзя достигнуть с помощью формальных или механических процедур. Теоремы о неполноте Гёделя, опубликованные, когда ему было всего 25 лет, оказали сильное влияние на науку и философию ХХ века. Он доказал, что во всех логических и логических системах всегда присутствуют утверждения, истинность или ложность которых невозможно доказать при использовании правил данной системы, но лишь выйдя за её пределы и создав более крупную систему с её собственными недоказуемыми утверждениями...