Основной контент книги Беседы о логике. Часть 2 из 2. Беседует Николай Андреев
Audioaudiobook

Długość książki 1 godz. 04 min.

12+

Беседы о логике. Часть 2 из 2. Беседует Николай Андреев

Niedostępne w sprzedaży

O książce

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

Zaloguj się, aby ocenić książkę i zostawić recenzję
Audiobook Льва Беклемишева, Николая Андреева «Беседы о логике. Часть 2 из 2. Беседует Николай Андреев» — pobierz w formacie MP3 lub słuchaj online.
Ograniczenie wiekowe:
12+
Data wydania na Litres:
05 września 2020
Czas trwania:
1 godz. 04 min. 17 sek.
Właściciel praw:
Автор
Format pobierania:

Z tą książką słuchają

1x