filmov
tv
25 Первая теорема Гёделя о неполноте
Показать описание
Говорим про:
- арифметическое кодирование последовательностей и кодирование формул;
- теорема Гёделя в форме Россера;
- теорема Гёделя (синтаксическая);
- теорема о неперечислимости арифметической истины;
- теорема Тарского о невыразимости истины в арифметике 1го порядка.
💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
- арифметическое кодирование последовательностей и кодирование формул;
- теорема Гёделя в форме Россера;
- теорема Гёделя (синтаксическая);
- теорема о неперечислимости арифметической истины;
- теорема Тарского о невыразимости истины в арифметике 1го порядка.
💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
0:47:15
0:19:49
0:10:08
0:12:04
0:08:11
0:40:24
1:11:18
4:25:12
0:35:36
0:07:27
1:36:35
1:02:42
0:23:15
1:11:37
0:25:06
1:07:44
0:36:10
0:10:15
0:02:18
0:06:20
0:21:35
0:02:24
1:18:12
1:17:49