Курт Гедель

Статья Курта Гёделя 1931 года доказывает принципиальную неполноту любой достаточно мощной и непротиворечивой математической системы. В такой системе всегда существуют истинные утверждения, которые невозможно доказать ее собственными средствами.


Рецензии