우리가 어떤 문장을 보고 이것이 잼얘이다, 아니다를 판별하는 기계를 만들 수 있을까요?
잼얘인 모든 문장에 '잼얘이다' 라고 판정을 내릴 수 있는 것을 completeness(완전성)
잼얘가 아닌 모든 문장에 '잼얘가 아니다' 라고 판정을 내릴 수 있는 것을 soundness(건전성)
이라고 합니다
보통 complete하면서 sound한 알고리즘을 만들 수 없다고 알려져있습니다. 둘 중 하나를 선택해야하는 것이죠.
If you have a fediverse account, you can quote this note from your own instance. Search https://yuri.garden/notes/a6ircgjzgg on your instance and quote it. (Note that quoting is not supported in Mastodon.)