Урок №0.2 - Неразрешимые вопросы. Аксиоматический принцип
Расширяем разговор про аксиомы Таймкоды: 00:00 - 00:48 - Введение 00:48 - 02:30 - Вопрос для примера 02:30 - 03:35 - Опираемся на аксиоматические системы 03:35 - 06:32 - Теоремы Гёделя 06:32 - 07:24 - Неразрешимые вопросы 07:24 - 08:20 - Ответ на вопрос через выбор аксиоматики 08:20 - 09:10 - Закругляемся
Расширяем разговор про аксиомы Таймкоды: 00:00 - 00:48 - Введение 00:48 - 02:30 - Вопрос для примера 02:30 - 03:35 - Опираемся на аксиоматические системы 03:35 - 06:32 - Теоремы Гёделя 06:32 - 07:24 - Неразрешимые вопросы 07:24 - 08:20 - Ответ на вопрос через выбор аксиоматики 08:20 - 09:10 - Закругляемся




