algebra combinatoria
algebra combinatoria o combinatoria algebrica, settore di studi che utilizza metodi combinatori, cioè di ordinamento e conteggio, per lo studio di problemi algebrici o, viceversa, [...] solo nella seconda metà del secolo successivo grazie all’impiego di potenti calcolatori (per opera di K. Appel e W. Haken nel 1976). Nel corso del xx secolo l’algebra combinatoria cominciò a trovare un proprio posto nella matematica tradizionale ...
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
quattro colori, problema dei
quattro colori, problema dei problema classico, nato dalla cartografia e risolto positivamente solo negli anni Settanta del secolo scorso. Il problema nasce da una domanda [...] un sistema di lettura di tutte le possibilità sul grafo che rappresenta il problema, i matematici K. Appel e W. Haken giunsero a una risoluzione algoritmica che può essere considerata come una dimostrazione (nel cosiddetto teorema dei quattro colori ...
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
Il concetto di complessità è differentemente definito e utilizzato in discipline anche assai diverse fra loro. Il fisico S. Loyd ha contato ben 45 possibili definizioni di complessità, ma le definizioni [...] del 20° secolo; in particolare il gruppo di I. Prigogine alla Université libre de Bruxelles e il gruppo di H. Haken e W. Weidlich dell'Istituto di fisica teorica dell'Università di Stoccarda, che si sono entrambi occupati di problemi economici. Anche ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
La matematica del Novecento è stata paragonata nel 1951 da Hermann Weyl al delta del [...] cos’è una prova?
Nel 1976, Kenneth Appel e Wolfang Haken annunciano la dimostrazione con l’uso di un computer della celebre della dimostrazione matematica: nella dimostrazione di Appel e Haken 1200 ore di tempo-macchina sono necessarie per analizzare ...
Leggi Tutto
Vedi LUCERNA dell'anno: 1961 - 1973 - 1995
LUCERNA
H. Menzel
J. Elgavish
H. Menzei
H. Menzel
J. Elvagish
La l. (λύχνος, lychnus, lucerna) è un utensile nel quale si brucia, per produrre la luce, [...] R. G. Z. M., 3, 1952-53, p. 313 ss.; id., Antike Lampen in Römisch-Germanischen Zentralmuseum, Magonza 1954; R. Haken, Roman Lamps in the Prague National Museum, Praga 1958; R. H. Princeton Howland, Greek Lamps and Their Survivals. The Athenian Agorà ...
Leggi Tutto
topologia
topologia termine che indica sia un settore disciplinare della matematica sia la famiglia (o collezione) di insiemi aperti (o semplicemente aperti) che definisce uno → spazio topologico.
La [...] per la sfera (e per il globo terrestre) è stato dimostrato, solo recentemente (nel 1976 da K. Appel e da W. Haken con una dimostrazione che ha richiesto l’ausilio di elaboratori elettronici a elevata potenza di calcolo), che sono sufficienti 4 colori ...
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