Statements (56)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theorem
|
| gptkbp:appliesTo |
planar graphs
|
| gptkbp:associated_with |
coloring problems
graph coloring |
| gptkbp:claims |
four color theorem
|
| gptkbp:criticism |
incorrectness in some cases
|
| gptkbp:has_a_focus_on |
mathematicians
historical mathematical studies |
| gptkbp:has_implications_for |
computer science
theoretical computer science |
| gptkbp:historicalEvent |
mathematical error
|
| https://www.w3.org/2000/01/rdf-schema#label |
Kempe's theorem
|
| gptkbp:includes |
mathematics curricula
|
| gptkbp:influenced |
subsequent research in graph theory
|
| gptkbp:is_a |
a false proof
|
| gptkbp:is_a_place_for |
the importance of peer review in mathematics
|
| gptkbp:is_a_subject_of |
mathematical logic
academic conferences historical analysis discrete mathematics topological graph theory mathematical philosophy mathematical creativity mathematical debate the limits of human intuition in mathematics |
| gptkbp:is_a_time_for |
coloring maps
|
| gptkbp:is_essential_for |
mathematics
the challenges in mathematical proof. |
| gptkbp:is_part_of |
the history of the four color problem
|
| gptkbp:is_referenced_in |
academic literature
mathematical textbooks modern mathematical research the development of graph theory the study of mathematical proofs and counterexamples |
| gptkbp:is_studied_in |
combinatorial mathematics
its logical structure its logical implications mathematical fallacies |
| gptkbp:is_used_in |
mathematical education
mathematical proofs the history of mathematics mathematical anthologies discussions of mathematical rigor other coloring theorems the importance of proof verification |
| gptkbp:isConnectedTo |
the study of planar graphs
|
| gptkbp:notable_event |
the study of mathematical proofs
|
| gptkbp:notableEvent |
the evolution of mathematical thought
|
| gptkbp:previousName |
gptkb:Arthur_Cayley_Kempe
|
| gptkbp:publishedBy |
1879
|
| gptkbp:related_to |
graph theory
the study of algorithms |
| gptkbp:saw_the_rise_of |
new proof techniques
|
| gptkbp:traditions |
19th-century mathematics
|
| gptkbp:uses |
Kempe chains
|
| gptkbp:was_a_result_of |
topology
|