• Daniele Mundici
Part of the UNITEXT book series (UNITEXT)


Have a look at the following drawing:
The problem C is to colour the vertices 1, ..., 5 with one of two available colours, in such a way that vertices of the same edge have different colours. The answer is simple, but think of the same problem, denoted by C +, to colour a complex graph with 1000 vertices, 10000 edges and a palette of 7 colours. The search for efficient methods of solving a problem like C +, so either finding an explicit solution or proving that no solution exists, forms a central challenge for contemporary mathematics.


Mathematical Logic Explicit Solution Contemporary Mathematic Mathematical Practice Symbolic Expression 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag Italia 2012

Authors and Affiliations

  • Daniele Mundici
    • 1
  1. 1.Department of Mathematics and Computer Science “U. Dini”University of FlorenceItaly

Personalised recommendations