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
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 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