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

Какую роль сыграла логика в создании компьютеров и языков программирования? Какие области современной науки и техники также широко используют логические методы? Бывают ли алгоритмически неразрешимые задачи? В чем суть и в чем важность ряда знаменитых «задач тысячелетия» Гильберта? В чем заключается проблема четырех красок и какова история ее «компьютерного доказательства»? Сколько же теорем было у Гёделя и что же они утверждают, а что опровергают? В чем «сила» и в чем «богатство» математических теорий? И, наконец, как Математика устанавливает границы своей собственной применимости? Беседы о логике. Часть 2 из 2. *Математический конгресс в Москве был не в 1964, а в 1966 году. Беседуют: — Лев Дмитриевич Беклемишев, академик РАН, главный научный сотрудник отдела математической логики Математического института им. В. А. Стеклова РАН. — Николай Николаевич Андреев, кандидат физико-математических наук, заведующий лабораторией популяризации и пропаганды математики Математического института им. В. А. Стеклова РАН. Лев Беклемишев - Беседы о логике. Часть 1: Статья Л. Д. Беклемишева «Математика и логика» в сборнике «Математическая составляющая»: Наш подкаст-канал: Друзья, если вы хотите, чтобы наши видеоролики появлялись чаще, поддержите наш научпоп-проект: #НаукаPRO #наука #научпоп #научпросвет #математика #логика #мехмат #математическиеэтюды #НиколайАндреев #ЛевБеклемишев