Difference between revisions of "Mathematical proof"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
[[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 [[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]]. | [[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 [[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]]. | ||
Revision as of 04:32, 9 August 2021
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 and Agda.
For more information, please see Proof assistant.