Formal Evidence

From GM-RKB
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.