Визуальная математика! Математик Тивадар Данка опубликовал в Twitter интересные работы в Midjourney. Он попросил нейросеть визуально описать некоторые математические теоремы. Названия теорем идут по порядку, как на картинках. 🔸Бесконечные действительные числа 🔸Теорема Бэра о категориях 🔸Лемма Цорна 🔸Основная теорема исчисления 🔸Парадокс Банаха-Тарского 🔸"Каждое векторное пространство имеет базис Гамеля" 🔸Фундаментальная теорема алгебры 🔸Теоремы о неполноте Геделя 🔸Фундаментальная теорема арифметики 🔸Теорема Брауэра о неподвижной точке
Обычно именно с этой темы я начинаю первое занятие по геометрии. Удивительно, что раньше без этого можно было обойтись, но в последнее время возникла потребность вносить ясность в этот вопрос.
Если говорить коротко, то теорема это верное логическое следование (импликация)...