Говорим про:
- арифметическое кодирование последовательностей и кодирование формул;
- теорема Гёделя в форме Россера;
- теорема Гёделя (синтаксическая);
- теорема о неперечислимости арифметической истины;
- теорема Тарского о невыразимости истины в арифметике 1го порядка.
💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
через сервис Boosty:
1 view
2608
718
2 weeks ago 00:01:33 1
В Ревде прошёл ежегодный конкурс видеороликов по профилактике распространения ВИЧ и наркомании
2 weeks ago 00:09:56 11
NHL - - аналитика и матчи НХЛ
2 weeks ago 00:13:38 195
Локомотив - Зенит-Казань | Основные моменты | Полуфиналы | Кубок России
2 weeks ago 00:50:17 1
ЗВУК ЗА СПАСИБО! Обзор бесплатных плагинов для DAW #1
2 weeks ago 00:00:13 1
️Двоих «суррогатчиков», по вине которых скончались 9 человек в Красноярском крае, отправили в колонию
2 weeks ago 00:02:49 1
Обзор ЖК Дивногорский 2.0 в городе Новосибирске! 🏘️ Обзор жилого комплекса «Дивногорский 2.0»!
2 weeks ago 00:07:24 1
. ПФФ. «Микрорайон» - «Авангард» 3:5
2 weeks ago 00:36:05 1
🔴 В. Путин - 11-я Прямая Линия с Президентом России. 2013
2 weeks ago 03:05:47 1
🔴 В. Путин - 6-я Прямая Линия с Президентом России. 2007
2 weeks ago 02:39:53 5.2K
НХЛ НА РУССКОМ | Эдмонтон - Колорадо | РЧ-2024/25
2 weeks ago 00:17:45 5
[Лига Легенд и TFT от Зака: Гайды, Стримы, Обзоры] 15 СЕЗОН - ВСЁ ЧТО ВАМ НУЖНО ЗНАТЬ⚡ Новости Лиги Легенд от Зака ⚡ League of L
2 weeks ago 00:51:46 6
ИТАЛИЯ одного ГЕНИЯ ВИЧЕНЦА родина Классицизма
2 weeks ago 01:03:07 8
МАДЕЙРА Фантастически красивый остров посреди Атлантики
2 weeks ago 01:12:19 60
Лев Вершинин. Итоги недели: 24-30 ноября 2024 г.
2 weeks ago 01:03:32 4
[ST Luxury Travel / ST Роскошные Путешествия] Лучший в мире первый класс - Etihad A380 The Residence | Абу-Даби - Лондон
2 weeks ago 01:01:37 2
STALKER ТЧ ОП-2.2 LSC+ 019: Лаборатория Х-18
2 weeks ago 00:24:04 1
PS4 Red Dead Redemption 2 #5 Глава 1 - Кто, черт возьми, этот Левит Корнуолл Прохождение
2 weeks ago 00:13:32 1
Бактус “Ночная красавица“. Мастер-класс по вязанию крючком от О. С. Литвиной.
2 weeks ago 00:21:38 1
Бактус “Бельведер“. Мастер-класс по вязанию крючком от О. С. Литвиной.
2 weeks ago 00:00:15 4
‼️КОЛОМНА 👋 ‼️ 500₽ СКИДКА НА ПЕРВЫЙ ВИЗИТ ФИТНЕС КЛУБ БАССЕЙН
2 weeks ago 00:21:30 1.2K
10 ДОБРОТНЫХ ЭКРАНИЗАЦИЙ, КОТОРЫЕ С ПЕРВЫХ КАДРОВ НАКРЕПКО ПРИВЯЗЫВАЮТ К ДИВАНУ!
2 weeks ago 01:32:39 13
«Измену можно простить!» Квартет И про мужское взросление, секс, отношения и дружбу
2 weeks ago 00:01:17 3
Первый запуск Long March-12
2 weeks ago 00:09:58 1
2024 11 25 22 45 46 АКАДЕМИЯ Ракета Пионер всем Орешникам пример ВСЕМ ДЕБИЛАМ БЛОХЕРАМ ТВ СМИ 03