Concept
Four color theorem
Overview
statement in mathematics
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- First-order logic
- Proof assistant
- Compactness theorem
- Kurt Gödel
- Mathematics
- Augustus De Morgan
- Caribbean
- Masterpiece
- The New York Times
- Theorem
- United States
- University of Illinois Urbana-Champaign
- France
- Color
- Angola
- Azerbaijan
- Computational complexity theory
Place in the tradition
Part of Intuitionistic logic.