➡️ Для любителей математики: https://t.me/laplasofficial
Всем привет, на связи LAPLAS! Как вы думаете, могут ли машины мыслить? А доказывать теоремы? В нашем новом видео мы расскажем о первой теореме, которую сумели доказать только с помощью компьютера, и о том, почему это вызвало бурю споров среди учёных. Приятного просмотра!
В этом видео:
00:00 Вступление
01:12 Приветствие
01:20 Заставка
01:37 История теоремы о четырех цветах
03:13 Методы доказательств
04:12 Математическая индукция
06:09 Доказательство от обратного
07:42 Инварианты
08:57 Теорема о пяти цветах
16:54 Теорема о четырех цветах
19:57 Математические доказательства с помощью компьютера
21:14 Заключение
21:23 Не забывайте подписываться и ставить лайки!
21:47 Наши соцсети
🔥 Подписывайтесь на канал, следите за новыми интересными роликами, пишите комментарии и приятного просмотра!
#образование #математика