Theorem
From CasGroup
(→Reducibility) |
(→Reducibility) |
||
| Line 102: | Line 102: | ||
Some systems are '''reducible''', explainable | Some systems are '''reducible''', explainable | ||
| - | and understandable because they can be | + | and understandable because they can be decomposed |
| - | divided in sub-domains and there are | + | and divided in sub-domains and there are |
| - | similarities in different sub-domains. | + | sometimes similarities in different sub-domains. |
These systems can often be explained | These systems can often be explained | ||
and understood by theorems. | and understood by theorems. | ||
