Proof (mathematics)/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>Peter Schmitt (→Other related topics: removed two: "Lemma" is the same as "Theorem" in this connection, and I do not think that "Theory " is really helpful) |
imported>Peter Schmitt (→Other related topics: two more) |
||
Line 26: | Line 26: | ||
{{r|Theorem}} | {{r|Theorem}} | ||
{{r|Conjecture}} | {{r|Conjecture}} | ||
{{r|Decidability}} | |||
{{r|Gödel's incompleteness theorem}} |
Revision as of 19:25, 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
- Axiom [r]: Add brief definition or description
- Hypothesis [r]: A causal relationship thought possible. [e]
- Theorem [r]: Add brief definition or description
- Conjecture [r]: Add brief definition or description
- Decidability [r]: Add brief definition or description
- Gödel's incompleteness theorem [r]: Add brief definition or description