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
Matematica e strumenti di calcolo
Angelo Guerraggio
Matematica e strumenti di calcolo
Quella che ha portato ai moderni calcolatori è una strada lunga, anche se percorsa negli ultimi decenni con un passo [...] questione è stata posta all’attenzione della comunità internazionale, in particolare nel 1976, quando K.I. Appel e W. Haken hanno risolto il problema dei → quattro colori, problema formulato più di un secolo prima, dimostrando che quattro colori sono ...
Leggi Tutto
ARMI DA FUOCO
L.G. Boccia
Con questa espressione si intendono in genere le a. offensive che utilizzano la subitanea espansione di gas, susseguente all'accensione di polvere da sparo, per espellere un [...] apparentò nelle forme a quello della balestra; restò per lo più una sola ghiera con il gancio. Il gancio (ted. Haken), dette alle armi il nome di Hakenbüchse 'recipiente a gancio', distinto dallo Handbüchse 'recipiente manesco', che non lo aveva. Dal ...
Leggi Tutto
Ogni volta che le energie degli stati eccitati di un sistema fisico possono essere definite come multipli interi di una energia minima, si può associare a questo sistema fisico il concetto di e. elementare. [...] .: C. Kittel, Quantum theory of solids, New York 1963; D. Pines, Many body theory of solids, ivi 1963; H. Haken, Quantum field theory of solids, Amsterdam 1976; O. Madelung, Introduction to solid state theory, Berlino 1978; S. Nakajima, V. Toyozawa ...
Leggi Tutto
CAIANIELLO, Eduardo Renato
Settimo Termini
– Nacque a Napoli 25 giugno 1921, da Giuseppe e Lidia Sammartino.
GLI ANNI FORMATIVI (IN GUERRA E NEGLI STATI UNITI)
Dopo aver frequentato il liceo classico [...] e Pitts ma portava a un modo diverso di affrontare il problema (si v., ad esempio, L. Borland - H. Haken, Synergetic computer networks for associative action, in Structure…, cit., pp. 10-20).
A partire dagli anni Sessanta del Novecento emerse ...
Leggi Tutto
Geometria: nuovi orizzonti
Luca Migliorini
I tempi della matematica sono più lunghi di quelli di altre scienze. Per la natura stessa, semplice e fondamentale, degli oggetti studiati (i numeri e le figure [...] argomentazioni geometrico-topologiche, Thurston ha mostrato che la congettura vale per una larga classe di varietà, dette di Haken.
La strategia di Hamilton: il flusso di Ricci
Nei primi anni Ottanta, Hamilton ha proposto un approccio fortemente ...
Leggi Tutto
Perché la matematica?
Marco Rigoli
Lo scopo di questo saggio è presentare al lettore, invitandolo nel contempo a una personale riflessione, alcuni aspetti della matematica che permeano gran parte della [...] che esso richiede preclude a un essere umano la possibilità di poterlo eseguire. Quando nel 1976, Kenneth Appel e Wolfgang Haken (Solution of the four color map problem, «Scientific American», 1977, 237, 4, pp. 108-21), proposero questo tipo di ...
Leggi Tutto
Silicio
Franco Bassani
Come scrive Frederick Seitz nel suo libro sulla storia del silicio, la moderna autostrada informatica e computazionale che ha modificato il nostro modo di comunicare e di produrre, [...] per primo la affrontò invano, fino a che due matematici dell'Università dell'Illinois, Kenneth Appel e Wolfgang Haken dimostrarono nel 1976 che il problema poteva essere ricondotto all'analisi di 1500 mappe fondamentali. Toccò allora al calcolatore ...
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