Verification
From Encyclopedia of Mathematics
The process of checking the truth of a proposition. In a more narrow sense it concerns the truth of special kinds of formulas in some logico-mathematical language.
How to Cite This Entry:
Verification. A.G. Dragalin (originator), Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Verification&oldid=15114
Verification. A.G. Dragalin (originator), Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Verification&oldid=15114
This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098