Лев Беклемишев - Компьютерные доказательства
8 418
14.2
ПостНаука1.37 млн
Следующее
27.06.13 – 10 45514:20Популярные
34 дня – 39 6591:22:10
03.04.23 – 49 9853:01Опубликовано 26 июня 2013, 10:02
Это видео было опубликовано на сайте ПостНаука (postnauka.ru/). Больше лекций, интервью и статей о фундаментальной науке и ученых, которые ее создают, смотрите на сайте postnauka.ru/. ПостНаука - все, что вы хотели знать о науке, но не знали, у кого спросить.
Какую часть математических доказательств можно поручить компьютеру? Какие существуют виды интерактивных систем поиска математических доказательств? В чем заключается теорема о четырех красках? И как она была доказана? Об этом рассказывает доктор физико-математических наук Лев Беклемишев.
Какую часть математических доказательств можно поручить компьютеру? Какие существуют виды интерактивных систем поиска математических доказательств? В чем заключается теорема о четырех красках? И как она была доказана? Об этом рассказывает доктор физико-математических наук Лев Беклемишев.
Свежие видео
1 день – 1 4981:56:41
1 день – 5 7651:00
7 дней – 13 9381:29:16
7 дней – 1 761 0830:59
8 дней – 172 40144:36
11 дней – 6412:03Случайные видео
22 дня – 9 2852:02:55
195 дней – 32 88415:13
297 дней – 30 7320:16
26.11.22 – 27 9410:47
04.08.22 – 43 65643:23
18 часов – 4710:34
2 дня – 16 0450:18
2 дня – 1 7609:48
3 дня – 6997:35
5 дней – 5 3610:52
6 дней – 1 1750:54
