Список длинных математических доказательств
- Доказательства математических теорем могут быть длинными и сложными.
- Некоторые доказательства занимают сотни страниц и зависят от предыдущих результатов.
- Примеры длинных доказательств включают дискретные последовательные представления групп Ли, доказательство Новикова-Адиана задачи Бернсайда и доказательство теоремы Горенштейна-Харады.
- Существуют математические теоремы, которые были проверены с помощью длительных компьютерных вычислений.
- В математической логике существуют примеры утверждений, которые доказуемы, но имеют абсурдно длинные краткие доказательства.
Полный текст статьи: