Автор: Gustavo Ernesto Piñeiro

Гёдель. Теоремы о неполноте. У интуиции есть своя логика

Гёдель. Теоремы о неполноте. У интуиции есть своя логика

Курт Гёдель изменил понимание математики. Две теоремы о неполноте, сформулированные им в 1931 году, с помощью формальной логики выявили хрупкость фундамента великого здания математики, которое усердно строили со времен Евклида. Подробнее →