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