Proof (mathematics)/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>Daniel Mietchen |
imported>Peter Schmitt |
||
Line 9: | Line 9: | ||
==Subtopics== | ==Subtopics== | ||
{{r|Constructive proof}} | |||
{{r|Existence proof}} | |||
{{r|Proof by induction}} | |||
{{r|Proof by contradiction}} | |||
{{r|Symbolic proof}} | |||
{{r|Computer proof}} | {{r|Computer proof}} | ||
{{r|Computer-aided proof}} | {{r|Computer-aided proof}} |
Revision as of 16:03, 21 November 2009
- See also changes related to Proof (mathematics), or pages that link to Proof (mathematics) or to this page or whose text contains "Proof (mathematics)".
Parent topics
- Philosophy of mathematics [r]: Add brief definition or description
- Mathematical logic [r]: Add brief definition or description
- Proof theory [r]: Add brief definition or description
Subtopics
- Constructive proof [r]: Add brief definition or description
- Existence proof [r]: Add brief definition or description
- Proof by induction [r]: Add brief definition or description
- Proof by contradiction [r]: Add brief definition or description
- Symbolic proof [r]: Add brief definition or description
- Computer proof [r]: Add brief definition or description
- Computer-aided proof [r]: Add brief definition or description
- Computer-verifiable proof [r]: Add brief definition or description
- Zero-knowledge proof [r]: Add brief definition or description
- Conjecture [r]: Add brief definition or description
- Hypothesis [r]: A causal relationship thought possible. [e]
- Theory [r]: An abstract description of causal relationships. [e]
- Theorem [r]: Add brief definition or description
- Axiom [r]: Add brief definition or description
- Lemma [r]: Add brief definition or description