Пахомов Ф.Н. О границах применимости второй теоремы Гёделя о неполноте Часть 2 HD
Аннотация: Часто вторую теорему Гёделя о неполноте формулируют в узкой форме, как утверждение о том, что какая-то конкретная формальная теория (например PA или ZFC) не может доказать собственную...
HD
HD
HD
HD
![Теорема Гёделя о неполноте и четыре дороги, ведущие к ней [2] // Владимир Успенский](https://avatars.mds.yandex.net/get-vthumb/1520253/a9f2d16de9591d49deec4edce32d088a/564x318_1)
HD
HD![Теорема Гёделя о неполноте и четыре дороги, ведущие к ней [3] // Владимир Успенский](https://avatars.mds.yandex.net/get-vthumb/896731/d1b70f5ee45dde9c09d46485ad340e4f/564x318_1)
HD
HD
HD
HD
HD
HD
HD
HD
HD
HD
HD
HD
![Невычислимость, неразрешимость, недоказуемость [2] // Алексей Сосинский](https://sun1-16.userapi.com/c626117/v626117095/68f7e/lwkmv74yspE.jpg)
