Лев Беклемишев - Компьютерные доказательства
8 410
14.3
ПостНаука1.36 млн
Следующее
27.06.13 – 10 45114:20Популярные
31 день – 7 8531:00
85 дней – 10 0171:40:55Опубликовано 26 июня 2013, 10:02
Это видео было опубликовано на сайте ПостНаука (postnauka.ru/). Больше лекций, интервью и статей о фундаментальной науке и ученых, которые ее создают, смотрите на сайте postnauka.ru/. ПостНаука - все, что вы хотели знать о науке, но не знали, у кого спросить.
Какую часть математических доказательств можно поручить компьютеру? Какие существуют виды интерактивных систем поиска математических доказательств? В чем заключается теорема о четырех красках? И как она была доказана? Об этом рассказывает доктор физико-математических наук Лев Беклемишев.
Какую часть математических доказательств можно поручить компьютеру? Какие существуют виды интерактивных систем поиска математических доказательств? В чем заключается теорема о четырех красках? И как она была доказана? Об этом рассказывает доктор физико-математических наук Лев Беклемишев.
Свежие видео
9 дней – 1741:53
10 дней – 3 3471:49:51
14 дней – 4921:01
15 дней – 25 9267:10Случайные видео
13 дней – 17 9860:18
21 день – 67 4481:56:50
10.12.22 – 80 13725:25
12.01.22 – 41 16910:50
26.03.09 – 10 2266:31
11 часов – 2120:15
1 день – 7 3190:32
3 дня – 149 3521:21:43
4 дня – 29 2980:15
5 дней – 2 8508:00
2 дня – 2 0850:57