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