http://gabrielemartufi.altervista.org Il teorema dei quattro colori è un teorema di matematica che afferma che data una superficie piana divisa in regioni connesse, come ad esempio una carta geografica politica, sono sufficienti quattro colori per colorare ogni regione facendo in modo che regioni adiacenti non abbiano lo stesso colore. Due regioni sono dette adiacenti se hanno almeno una linea di confine in comune. Ciascuna regione deve inoltre occupare un territorio connesso, cioè non deve essere formata da due o più parti sconnesse – ovvero con la presenza di exclavi. È immediato trovare mappe per le quali tre soli colori non sono sufficienti. Non è eccessivamente difficile dimostrare che ne bastano al più cinque. Tuttavia dimostrare che ne siano sufficienti quattro è particolarmente complesso, tanto che la dimostrazione di questo teorema ha richiesto, tra l'altro, un estensivo ricorso al computer, per una delle prime volte nella storia della matematica. La congettura venne presentata per la prima volta nel 1852, quando Francis Guthrie, uno studente di Augustus De Morgan, si accorse che per colorare una mappa delle contee britanniche erano sufficienti quattro colori. La prima pubblicazione relativa all'argomento si deve ad Arthur Cayley. La definitiva dimostrazione del teorema per quattro soli colori è stata fornita nel 1977 da parte di Kenneth Appel e Wolfgang Haken, due matematici dell'Università dell'Illinois, grazie a un complesso algoritmo informatico. La dimostrazione si basa sulla riduzione del numero infinito di mappe possibili a 1.936 configurazioni (poi ulteriormente ridotte a 1.476), per le quali la validità del teorema viene verificata caso per caso dal computer. https://it.wikipedia.org/wiki/Teorema_dei_quattro_colori Sir Michael Francis Atiyah (Michael Atiyah) è un matematico britannico, noto per i suoi numerosi contributi alla geometria. È cresciuto in Sudan e in Egitto, ma ha trascorso gran parte della sua carriera accademica a Oxford, Cambridge e Princeton. https://it.wikipedia.org/wiki/Michael_Atiyah René Thom è stato un matematico e filosofo francese. Si è laureato in matematica all'Ecole Normale Supérieure di Parigi per poi entrare come ricercatore al centro nazionale di ricerche francese nel 1947 e vi è rimasto fino al 1951. Ha insegnato presso le facoltà di scienze a Strasburgo ed a Grenoble. Dal 1963 ha insegnato all'Istituto di alti studi scientifici di Bures-sur-Yvette. Nel 1958 gli viene assegnata la medaglia Fields, il massimo riconoscimento internazionale per la matematica. È stato membro dell'accademia delle arti e delle scienze statunitense e dell'accademia delle scienze di Parigi dal 1976. https://it.wikipedia.org/wiki/Ren%C3%A9_Thom

• published: 03 Sep 2015
• views: 149