39. Введение в теорему Гёделя о неполноте

1:51 - еще раз про формальные языки 5:50 - описание языка арифметики 7:37 - запись нумералов 9:43 - термы и предикаты 11:35 - формулы 13:00 - аксиомы арифметики Пеано 31:55 - о программе Гильберта 34:11 - парадокс лжеца 37:15 - парадокс брадобрея 37:43 - парадокс прилагательных 41:51 - доказуемость и истинность 45:16 - суть теоремы Геделя 53:42 - план доказательства теоремы Геделя