Mathematical proof
Revision as of 04:29, 9 August 2021 by Benkoo (talk | contribs) (Created page with "wikipedia:Proof is a logical process to ensure that certain statement is true. Something is proven to be true, if every possible interpretation of the statement is accou...")
wikipedia:Proof is a logical process to ensure that certain statement is true. Something is proven to be true, if every possible interpretation of the statement is accounted for to be true. Some of the logical statements can be 'proven using automated computational procedures, and potentially executed using a general purpose computer. Known automated proof assistants include Coq.
For more information, please see MathWiki.