AI/TP Methods for maximizing generality and tractability of algebras
Gonçalo Gomes Araújo PhD at Nova FCT We value a mathematical theory for its generality and its tractability. For example, a magma (that is, a set with a binary operation) is very general because any theorem on it will have an impact on almost all algebras and possibly beyond, but the structure is so weak […]
AI/TP Methods for maximizing generality and tractability of algebras Read More »