unexplanatory en · ADJ
Etymology
From un- + explanatory.
Meanings
-
Not explanatory; failing to offer a (good or coherent) explanation.
If explanation is indeed tied closely to unification then it is not hard to see how the disjunctiveness characteristic of computer proof tends to yield proofs that are also considered relatively unexplanatory by mathematicians.
2008 May 30, Alan Baker, “Experimental Mathematics”, in Erkenntnis, volume 68, number 3, →DOI:
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| more unexplanatory | Degree=Cmp | lexicographic | |
| most unexplanatory | Degree=Sup | lexicographic |