Formal Evidence
Jump to navigation
Jump to search
A Formal Evidence is a evidence that is based on mathematical proofs.
References
2009
- http://www.sei.cmu.edu/predictability/start/glossary/
- empirical evidence evidence acquired through direct observation, preferably under controlled circumstances, with results reported in well-defined units of measure. Empirical evidence is therefore provisional, as any other observation might have been different. See also formal evidence.
- formal evidence evidence acquired through mathematical proof. Formal evidence is therefore irrefutable, as all such proofs are tautological. See also empirical evidence.