Difference between revisions of "Mathematical proof"
Jump to navigation
Jump to search
(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...") |
|||
| 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]]. | ||
For more information, please see [ | For more information, please see [https://math.wikia.org/wiki/Math_Wiki MathWiki]. | ||
<noinclude> | <noinclude> | ||
Revision as of 04:30, 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.
For more information, please see MathWiki.