Difference between revisions of "Mathematical proof"
Jump to navigation
Jump to search
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{WikiEntry|key=Mathematical proof|qCode=11538}} is the rigorous demonstration that a mathematical statement follows from its premises. It is also a logical process to ensure that certain statement is true. Something is proven to be true, if every possible interpretation of the statement is [[accounting|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]] and [[Agda]]. | |||
For more information, please see [[wikipedia:Proof_assistant|Proof assistant]]. | For more information, please see [[wikipedia:Proof_assistant|Proof assistant]]. | ||
Latest revision as of 11:45, 13 May 2022
Mathematical proof(Q11538) is the rigorous demonstration that a mathematical statement follows from its premises. It is also 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 and Agda.
For more information, please see Proof assistant.