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