1-я теорема Гёделя о неполноте - доказательство диагонализацией HD

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

Похожие видео

Показать еще