неполнота

  • ХабрахабрФото [Перевод] Как работает доказательство Гёделя

    [Перевод] Как работает доказательство Гёделя

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

    Читать далее »


Кнопка «Наверх»