News for hackers. Stuff that matters.

A comment on Executable Examples for Programming Problem Comprehension [pdf]. Parent comment

Re:Executable Examples for Programming Problem Comprehension... by np_tedious on Saturday May 14, 2022 @04:34PM (#31382062)
Seems roughly analogous to consistency and completeness in a logic system
[ Parent | on HN ]
Re:Executable Examples for Programming Problem Comprehension... by skrishnamurthi on Saturday May 14, 2022 @07:05PM (#31383568)
More 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.
[ Parent | on HN ]