3 ms·
Seems roughly analogous to consistency and completeness in a logic system
by np_tedious 4y ago
Seems roughly analogous to consistency and completeness in a logic system
- skrishnamurthi 4y agoMore like soundness and completeness. We're comparing two different systems, the executable examples versus the ground truth. Soundness and completeness are statements of comparison between two systems. Whereas consistency means that the system doesn't derive contradictions.