Математическая логика и теория алгоритмов 12. Аксиомы Пеано. Теорема Гёделя о неполноте

00:00:00 - Доказательства в арифметике 00:04:47 - Аксиоматика Пеано 00:22:46 - Примеры выводов 00:56:17 - Теорема Гёделя о неполноте 01:00:54 - Теорема Тарского 01:05:30 - Идеи доказательства Дата лекции: Лектор: Мусатов Даниил Владимирович Оператор: Ммаксим Карпов Монтажёр: Иван Сиомаш Плейлист: