Как зарождалась логика и какой она бывает? Что такое философская и математическая логика и чем они различаются? Как можно доказать отсутствие самой возможности доказательства? Может ли логика быть нечёткой? Что такое модальные логики и в каких практических приложениях они используются?
Беседы о логике. Часть 1 из 2.
Беседуют:
- Лев Дмитриевич Беклемишев, академик РАН, главный научный сотрудник отдела математической логики Математического института им. В. А. Стеклова РАН.
- Николай Николаевич Андреев, кандидат физико-математических наук, заведующий лабораторией популяризации и пропаганды математики Математического института им. В. А. Стеклова РАН.
Статья Л. Д. Беклемишева «Математика и логика» в сборнике «Математическая составляющая»: book.etudes.ru...
Лев Беклемишев - Беседы о логике. Часть 2: • Беседы о логике: часть...
Наш подкаст-канал:
nauka-pro.ru/po...
Друзья, если вы хотите, чтобы наши видеоролики появлялись чаще, поддержите наш научпоп-проект:
nauka-pro.ru/po...
#НаукаPRO #наука #научпоп #научпросвет #математика #логика #мехмат #математическиеэтюды #НиколайАндреев #ЛевБеклемишев
23 авг 2024