3 was that computer proofs may tend to be less explanatory than traditional proofs because they are more disjunctive, and disjunctiveness reduces explanatoriness.
Source: wiktionary
Ranked by relevance and common usage.
1 total sentences available.
3 was that computer proofs may tend to be less explanatory than traditional proofs because they are more disjunctive, and disjunctiveness reduces explanatoriness.
Source: wiktionary