JP Journal of Algebra, Number Theory and Applications
Volume 40, Issue 5, Pages 887 - 901
(October 2018) http://dx.doi.org/10.17654/NT040050887 |
|
CATEGORY-BASED CO-GENERATION OF SEMINAL CONCEPTS AND RESULTS IN ALGEBRA AND NUMBER THEORY: CONTAINMENT-DIVISION AND GOLDBACH RINGS
Danny A. J. Gómez-RamÃrez, Marlon Fulla, Ismael Rivera, Juan D. Vélez and Edisson Gallego
|
Abstract: Using a categorical formalization of formal conceptual blending in terms of colimits of many-sorted first-order theories (concepts), we show how to co-discover the notions of containment-division (CDR-s) and Goldbach rings. In other words, we show that these notions have a very exceptional origin, because they were co-discovered with the qualitative help of a computer program (i.e. the heterogeneous tool set (HETS)). Besides, we show that in a Noetherian setting, the CDR-s are just another way of describing Dedekind domains. Simultaneously, we see that for CDR-s, the Noetherian condition can be replaced by a weaker divisor chain condition. Finally, we show how to generate the notion of Goldbach rings with the additional help of the cognitive mechanism of weakening of hypothesis and having as initial starting point the (classic) Goldbach’s conjecture. |
Keywords and phrases: Dedekind domains, chain conditions, containment, divisor, Goldbach’s conjecture, weakening of hypothesis.
|
|
Number of Downloads: 488 | Number of Views: 5660 |
|