Теорема Гёделя о неполноте и четыре дороги, ведущие к ней

  • 03-08-2022

Теорема Гёделя о неполноте утверждает, что в любом достаточно богатом языке найдутся истинные, но не доказуемые утверждения. Теорема имеет алгоритмические истоки, и существуют четыре принципиально ра…