Что такое теоремы Гёделя о неполноте и зачем они нужны? Душкин объяснит HD
В видео рассказывается о теоремах Гёделя, которые доказывают, что любая достаточно богатая формальная система либо противоречива, либо неполна. Эти теоремы в своё время поколебали основания...