Теорема Гёделя: Философская математика. заставляющая задуматься. "Хде вы видели шобы ВСЁ? " Эта старая еврейская поговорка напоминает мне одну из наиболее глубоких идей современной математики - теорему Гёделя. Открытая австрийским учёным Куртом Гёделем в 1931 году, она переворачивает наши представления о знании и научном познании и состоит из двух частей: Первая теорема неполноты. Любая достаточно богатая формальная система арифметики либо неполна, либо противоречива. Это означает, что существуют истинные утверждения, которые невозможно доказать внутри самой системы. Вторая теорема неполноты. Ни одна такая система не может доказать свою собственную непротиворечивость. Говоря упрощенно, теорема утверждает следующее: любая достаточно сложная система обязательно содержит утверждения, которые верны, но не доказуемы средствами самой системы. То есть существует некий предел наших возможностей доказывать абсолютно всё внутри замкнутых рамок. Эта идея потрясла основы классической математ