Completeness vs Conciseness - What's the difference?
completeness | conciseness |
the state or condition of being complete
(logic) The property of a logical theory that whenever a wff is valid then it must also be a theorem. Symbolically, letting T'' represent a theory within logic ''L'', this can be represented as the property that whenever is true, then must also be true, for any wff ''φ'' of logic ''L .
*
The property of being concise, succinctness.
As nouns the difference between completeness and conciseness
is that completeness is the state or condition of being complete while conciseness is the property of being concise, succinctness.completeness
English
(wikipedia completeness)Noun
(-)- THEOREM 37°. (Gödel's completeness theorem 1930.) In the predicate calculus H'':
(a) ''If'' [''or even if'' -], ''then'' . ''If'' [''or even if'' -], ''then .
(b) [...]
