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
teoria dei grafi
Gilberto Bini
Lo studio delle proprietà combinatorie, topologiche, probabilistiche ecc. dei grafi, sviluppatosi come teoria matematica autonoma negli anni Trenta del Novecento a opera [...] per la prima volta nel 1852, il problema è stato finalmente risolto nel 1977 da Kenneth Appell e Wolfgang Haken mediante una dimostrazione che (pur notevolmente semplificata in seguito) richiede il ricorso a verifiche via computer. Fondamentali in un ...
Leggi Tutto
Sensazione fisiologica che si prova sotto l’effetto di luci di diversa composizione spettrale ( c. soggettivo) e la luce stessa ( c. oggettivo), costituita da radiazioni elettromagnetiche di determinate [...] convenientemente un globo (o regione di globo) con quattro c. al più. Gli Americani K. Appel e W. Haken, utilizzando un elaboratore elettronico, sono giunti nel 1976 alla conclusione che ciò è sempre possibile. Successivamente sono state indicate ...
Leggi Tutto
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] merita la dimostrazione della verità della congettura dei quattro colori, realizzata nel 1976 da K. Appel e W. Haken mediante un’elencazione, esaustiva di tutte le possibili configurazioni, ottenuta mediante un elaboratore; non sono mancate critiche ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La matematica negli Stati Uniti
Joseph W. Dauben
La matematica negli Stati Uniti
La matematica all'inizio del secolo
All'inizio del XX sec. [...] del problema dei quattro colori, fornendo un'importante idea che condusse nel 1976 alla dimostrazione tramite computer di Appel e Haken, ma dimostrò anche l''ultimo teorema' di Poincaré nel 1912 ‒ anno in cui lasciò Princeton per Harvard. Si trattava ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] stato verificato mediante un apposito programma di simulazione con un potente elaboratore elettronico da Kenneth Appel e Wolfgang Haken; sono state necessarie 1200 ore ca. di funzionamento di tale elaboratore.
Teoria dell'interpolazione. I matematici ...
Leggi Tutto