Беседы о логике. Часть 1 – беседуют математики Николай Андреев и Лев Беклемишев | Научпоп

23 840

7.3

Наука Про425 тыс

Следующее

03.05.20 – 15 9771:04:17

Беседы о логике: часть 2 – беседуют математики Николай Андреев и Лев Беклемишев | Научпоп

Популярные

101 день – 156 0188:34

Можно ли есть продукты с плесенью? – Алексей Водовозов | Лекции по медицине | Научпоп

115 дней – 10 7323:12

Подтверждения Большого взрыва – Борис Штерн | Лекции по астрофизике | Научпоп

Опубликовано 29 апреля 2020, 18:48

Как зарождалась логика и какой она бывает? Что такое философская и математическая логика и чем они различаются? Как можно доказать отсутствие самой возможности доказательства? Может ли логика быть нечёткой? Что такое модальные логики и в каких практических приложениях они используются?
Беседы о логике. Часть 1 из 2.

Беседуют:
— Лев Дмитриевич Беклемишев, академик РАН, главный научный сотрудник отдела математической логики Математического института им. В. А. Стеклова РАН.
— Николай Николаевич Андреев, кандидат физико-математических наук, заведующий лабораторией популяризации и пропаганды математики Математического института им. В. А. Стеклова РАН.

Статья Л. Д. Беклемишева «Математика и логика» в сборнике «Математическая составляющая»: book.etudes.ru/toc/mathnlogic

Лев Беклемишев - Беседы о логике. Часть 2: youtu.be/QPV97L95hmU

Наш подкаст-канал:
nauka-pro.ru/podcasting

Друзья, если вы хотите, чтобы наши видеоролики появлялись чаще, поддержите наш научпоп-проект:
nauka-pro.ru/podderzhat-proekt

#НаукаPRO #наука #научпоп #научпросвет #математика #логика #мехмат #математическиеэтюды #НиколайАндреев #ЛевБеклемишев

Свежие видео