Гёдель, Гротендик и Ханс Арп. Философия математики: об основаниях и не только
«Во всякой достаточно сложной непротиворечивой математической теории существуют утверждения, являющиеся одновременно недоказуемыми и неопровержимыми» - такова популярная, упрощенная формулировка первой теоремы Гёделя, предложенной им в 1931 году. На протяжении десятилетий после ее доказательства на эту тему велись многочисленные разговоры в русле
( Read more... )