Святой Грааль пропозициональной логики | MathFoundations 279 | N J Wildberger скачать в хорошем качестве

Святой Грааль пропозициональной логики | MathFoundations 279 | N J Wildberger

Как можно механически систематизировать рассуждения? Это Святой Грааль пропозициональной логики, неявно подразумеваемый в целях Аристотеля и стоиков, задуманный Лейбницем и описанный Джорджем Булем. Здесь мы кратко излагаем наше утверждение о том, что новый подход алгебры Буля к пропозициональной логике позволяет эффективно и убедительно решить эту задачу. Фактически, мы иллюстрируем два различных решения задачи: одно с использованием редукции Буля, а другое — с использованием преобразования Буля-Мёбиуса. Наш пример — известная головоломка о прославленном рыцаре сэре Галахаде и его смелом поиске Святого Грааля. Видеоконтент: 00:00 Введение 1:38 Логическая задача для сэра Галахада 2:54 G: Какая дорога ведёт к Граалю? 4:47 Преобразование в алгебру Буля 8:01 Редукция Буля 11:38 Использование преобразования Буля — Мёбиуса 14:06 Эффективность 19:38 Рекурсивный аспект преобразования Буля — Мёбиуса Вот что такое «Взгляд на математику» Плейлисты:    • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист   https://www.youtube.com/playlist?l ist=PLIljB45xT85D94vHAB8joyFTH4dmVJ_Fw    • Плейлист      • Плейлист      • Плейлист      • Плейлист   https://www.youtube.com/playlist?list... 5A-qCypcmZqRvaS1pGXpTua    • Плейлист      • Плейлист      • Плейлист      • Плейлист   https://www.youtube.com/playlist?list... T85CN9oJ4gYkuSQQhAtpIucuI    • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист   Вот плейлисты Wild Egg Maths (некоторые доступны только Участники!)    • Плейлист      • Плейлист      • Плейлист   https://www.yout ube.com/playlist?list=PLzdiPTrEWyz6zpIZ4Y_RK9zyJ9OufqNJv    • Плейлист      • Плейлист   https://www.youtube.com/playlist?list... PTrEWyz5HWgaVkhIwpGVKi6fciRxW    • Плейлист      • Плейлист   https://www.youtube.com/playlist?list... jM    • Плейлист      • Плейлист      • Плейлист   ***********************