Беседы о логике: часть 2 – беседуют математики Николай Андреев и Лев Беклемишев | Научпоп
Какую роль сыграла логика в создании компьютеров и языков программирования? Какие области современной науки и техники также широко используют логические методы? Бывают ли алгоритмически неразрешимые задачи? В чем суть и в чем важность ряда знаменитых «задач тысячелетия» Гильберта? В чем заключается проблема четырех красок и какова история ее «компьютерного доказательства»? Сколько же теорем было у Гёделя и что же они утверждают, а что опровергают? В чем «сила» и в чем «богатство» математических теорий? И, наконец, как Математика устанавливает границы своей собственной применимости?
Беседы о логике. Часть 2 из 2.
*Математический конгресс в Москве был не в 1964, а в 1966 году.
Беседуют:
— Лев Дмитриевич Беклемишев, академик РАН, главный научный сотрудник отдела математической логики Математического института им. В. А. Стеклова РАН.
— Николай Николаевич Андреев, кандидат физико-математических наук, заведующий лабораторией популяризации и пропаганды математики Математического института им. В. А. Стеклова РАН.
Лев Беклемишев - Беседы о логике. Часть 1:
Статья Л. Д. Беклемишева «Математика и логика» в сборнике «Математическая составляющая»:
Наш подкаст-канал:
Друзья, если вы хотите, чтобы наши видеоролики появлялись чаще, поддержите наш научпоп-проект:
#НаукаPRO #наука #научпоп #научпросвет #математика #логика #мехмат #математическиеэтюды #НиколайАндреев #ЛевБеклемишев
11 views
371
113
1 month ago 00:17:37 1
Подземный город. “Костяк“ элиты цивилизации.
1 month ago 00:49:43 1
Акцию «Наш мир против террора» провели в Ботлихском районе
1 month ago 01:01:47 1
Новая жизнь после смертельной болезни и многолетней зависимости. Интервью Зака Скау и Ады Кондэ
1 month ago 00:16:13 1
Путин послал Трампа. Переговоров не будет! Наступление России продолжается
1 month ago 00:44:42 1
Интервью Илона Маска: о Роботах в Каждый Дом, Чипировании, Будем ли мы Работать в Будущем? | 2024
1 month ago 00:03:47 1
С. В. Жарникова. Махабхарата - Курская битва.
1 month ago 00:03:02 2
Рамзан Кадыров стал лауреатом Нобелевской премии
2 months ago 00:50:28 1
“Луч надежды: партизанское движение в Югославии 1941-1944 гг. и освобождение Белграда“
2 months ago 00:45:26 1
Леонид Ивашов и Андрей Девятов | Важный разговор о будущем России