Абстрактная чепуха
- Математики используют термины «абстрактная бессмыслица», «общая абстрактная бессмыслица», «обобщенная абстрактная бессмыслица» и «общая бессмыслица» для описания длинных теоретических частей доказательства.
- Эти термины в основном используются для обозначения абстрактных методов, связанных с теорией категорий и гомологической алгеброй.
- Теория категорий изучает общую форму, то есть категории математических теорий, без учета их содержания.
- Математические доказательства, основанные на теоретико-категориальных идеях, часто кажутся вырванными из контекста.
- Авторы иногда называют эти доказательства «абстрактной чепухой» в шутку, чтобы обратить внимание читателей на их абстрактную природу.
- Определенные идеи и конструкции в математике имеют общее сходство во многих областях, объединенных теорией категорий.
- Термин «абстрактная бессмыслица» появился задолго до основания теории категорий как самого предмета.
Полный текст статьи: