| 释义 |
abstraction The process of studying the underlying rules and structures that often connect seemingly different results, and distilling that structure by means of formal axioms. The purpose is to derive, from a set of axioms, general results that are then applicable to any example of that structure. This was a common theme of much of 20th-century pure mathematics, applying equally in algebra (e.g. groups), analysis (e.g. Banach spaces), geometry (e.g. manifolds), topology (metric spaces).
|