• 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 

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