• Транспорт • Мода • Рецепты • Блоги • Охота • Путешествия • Спорт • Веселье • Своими Руками • IT • Знания
Мини-Игры
x

x
zakruti.com » ru » Знания, наука, образование » ПостНаука
Лев Беклемишев - Компьютерные доказательства

Лев Беклемишев - Компьютерные доказательства

VKTwitterOK

содержание видео

Рейтинг: 4.0; Голоса: 1
Лев Беклемишев - Компьютерные доказательства Никитоз: И всё-таки, мне кажется, что с теоремой о четырех красках дали маху. Просто лень было искать им математическое доказательство, и они придумали -гибридное- (компьютерно-математическое) и заставили всех в него поверить, сославшись на теорему о неполноте. Мне кажется, это не тот случай
Дата: 2022-05-15

Комментарии и отзывы: 2


Это интересно и хорошо рассказано. Спасибо, полезно!
-Оффтоп: - обоже! живой математик разговаривает! я до сегодняшнего дня думала что они никогда не разговаривают =)
ответить

Вот и в самой точной науке - математике пришли к относительной точности. Теорема доказана с точностью 99, 7% - мухаха )
ответить
Добавить отзыв, комментарий






Другие видео канала

11:33
Олег Лекманов - Литературная эволюция
15:8
Сергей Арутюнов - Заимствования в Японской культуре
14:49
Виктор Задков - Хиральность живой природы
12:20
Анна Севортьян - Универсализм прав человека
13:39
Aльберт Давлетшин - Языковые смыслы и природное окружение
13:58
Елена Гороховская - Третья революция в эволюционной биологии
12:48
Владимир Гимпельсон - Российская модель рынка труда
14:20
Виктор Мурогов - Атомная энергетика сегодня
13:43
Лев Беклемишев - Компьютерные доказательства
10:21
Инфекционный процесс - Александр Апт