25 Первая теорема Гёделя о неполноте

Говорим про: - арифметическое кодирование последовательностей и кодирование формул; - теорема Гёделя в форме Россера; - теорема Гёделя (синтаксическая); - теорема о неперечислимости арифметической истины; - теорема Тарского о невыразимости истины в арифметике 1го порядка. 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty: