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) |
No edit summary |
||
(One intermediate revision by one other user not shown) | |||
Line 26: | Line 26: | ||
{{r|Theorem}} | {{r|Theorem}} | ||
{{r|Conjecture}} | {{r|Conjecture}} | ||
{{r|Decidability}} | |||
{{r|Gödel's incompleteness theorem}} | |||
==Articles related by keyphrases (Bot populated)== | |||
{{r|Atom (science)}} | |||
{{r|Sylow subgroup}} | |||
{{r|If and only if}} |
Latest revision as of 16:00, 7 October 2024
- 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
- Atom (science) [r]: The defining unit of chemical elements. [e]
- Sylow subgroup [r]: Add brief definition or description
- If and only if [r]: Add brief definition or description