Proof (mathematics)/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>Peter Schmitt |
imported>Peter Schmitt (→Other related topics: two more) |
||
(One intermediate revision by the same user not shown) | |||
Line 21: | Line 21: | ||
==Other related topics== | ==Other related topics== | ||
{{r| | |||
{{r|Axiom}} | |||
{{r|Hypothesis}} | {{r|Hypothesis}} | ||
{{r|Theorem}} | {{r|Theorem}} | ||
{{r| | {{r|Conjecture}} | ||
{{r| | {{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