Беседы о логике. Часть 1 из 2. Как зарождалась логика и какой она бывает? Что такое философская и математическая логика и чем они различаются? Как можно доказать отсутствие самой возможности доказательства? Может ли логика быть нечёткой? Что такое модальные логики и в каких практических приложениях они используются? Беседуют: – Лев Дмитриевич Беклемишев, академик РАН, главный научный сотрудник отдела математической логики Математического института им. В. А. Стеклова РАН. – Николай Николаевич Андреев, кандидат физико-математических наук, заведующий лабораторией популяризации и пропаганды математики Математического института им. В. А. Стеклова РАН. Статья Л. Д. Беклемишева «Математика и логика» в сборнике «Математическая составляющая»: book.etudes.ru/toc/mathnlogic/ Лев Беклемишев – Беседы о логике. Часть 2: youtu.be/QPV97L95hmU Друзья, если вы хотите, чтобы наши видеоролики появлялись чаще, поддержите наш некоммерческий проект: nauka-pro.ru/podderzhat-proekt наука, научпоп, математика, логика, математическая логика, философская логика, лев беклемишев, николай андреев, математическая составляющая
