Finito
Antonio Machì
(XV, p. 399)
Matematica del finito
Diversi filoni della ricerca matematica che mostrano particolare vitalità si possono ricondurre all'interesse per i problemi del finito. L'analisi [...] Kempe quanto basta per dimostrare che cinque colori sono sempre sufficienti.Non solo, ma la dimostrazione di K. Appel e W. Haken, di un secolo dopo, si può vedere come una correzione molto profonda della svista di Kempe(fig. 2B). Nel frattempo, nel ...
Leggi Tutto
Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] è in grado di compiere lunghe analisi, caso per caso, evitando l’errore umano. Nel 1977 Kenneth Appel e Wolfgang Haken annunciarono la dimostrazione della congettura dei quattro colori con l’aiuto del computer. Tale dimostrazione è interattiva: i ...
Leggi Tutto
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] è in grado di compiere lunghe analisi caso per caso evitando l'errore umano.
Nel 1977 Kenneth Appel e Wolfgang Haken annunciarono la dimostrazione della congettura dei quattro colori con l'aiuto del computer (la storia è raccontata nel libro di ...
Leggi Tutto
colore
colóre [Der. del lat. color -oris] [LSF] Sensazione visiva che si prova illuminando un corpo con una luce non monocromatica in dipendenza della varia composizione spettrale di questa, e anche [...] minimo di c. necessari per colorare convenientemente la carta. Il problema è stato risolto nel 1976 da W. Haken che, con una dimostrazione assistita da un calcolatore elettronico, ha dimostrato che qualunque carta può essere colorata con quattro ...
Leggi Tutto