4 ms·
thanks. after reading your explanation it's clear that the verification is verification of the proof, whereas i was interpreting it as verification of the stat
by jonahx 13y ago
thanks. after reading your explanation it's clear that the verification is verification of the proof, whereas i was interpreting it as verification of the statement to be proved, hence my confusion.
- joe_the_user 13y agoWow, Until I read your post, it never occurred to me you were confused by the ambiguous implications of "verification". You remind me how easy it is, once you get the jargon and the concepts, to not actually write out everything into a form someone from the outside can understand.
- jonahx 13y agoYeah, I personally file that under "Lessons You Never Learn Enough Times." Glad my slowness could be of service :) In retrospect, it seems like something I should have been able to deduce, since it's kind of the only thing makes sense.