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, [...] . Al momento, la teoria è molto più avanti delle applicazioni. Si sa che, se sarà costruito, un computerquantistico potrà risolvere efficientemente problemi come la fattorizzazione di interi molto grandi e il problema del logaritmo discreto. Ciò è ...
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, [...] . Al momento, la teoria è molto più avanti delle applicazioni. Si sa che, se sarà costruito, un computerquantistico potrà risolvere efficientemente problemi come la fattorizzazione di interi molto grandi e il problema del 'logaritmo discreto'. Ciò è ...
Leggi Tutto
Il concetto di calcolo costituisce uno dei più importanti fondamenti teorici delle discipline informatiche. Così come nelle discipline meccaniche non si possono comprendere le caratteristiche dei motori [...] è reversibile, la reversibilità è una condizione necessaria per realizzare una macchina di Turing quantistica. Nel 1982 Feynman pubblicò il suo famoso lavoro sui computerquantistici, in cui stabilì che una macchina di Turing è in grado di simulare ...
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 [...] permette lo scambio di dati tra le varie componenti del computer, come file, programmi utente e dispositivi di input e quella a riposo (2,2 μs); questo conferma la teoria quantistica dei campi e la relatività ristretta.
Scoperta una nuova particella ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] il BINAC nel 1949, l'UNIVAC (universal automatic computer) è il primo elaboratore elettronico (a tubi termoelettrici) dell'Illinois a Urbana, è la forma definitiva della teoria quantistica della superconduzione, basata sul fatto che al di sotto di ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] tra di loro, in modo che alla fine l'output più probabile risulti quello desiderato. Bisogna dire che i computerquantistici sono, per il momento, solo macchine astratte la cui realizzazione concreta è problematica, soprattutto a causa delle ...
Leggi Tutto
Nodi e fisica
Louis H. Kauffman
Sommario: 1. Introduzione. 2. Come fissare un nodo: le mosse di Reidemeister. 3. Invarianti di nodi e links: un primo passo. 4. Il polinomio di Jones. 5. Il polinomio [...] a a b secondo un certo cammino. Per la meccanica quantistica associata a una particella classica (newtoniana) l'azione S integrals, New York 1965.
Freed, D., Gompf, R., Computer calculations of Witten's 3-manifold invariants, in ‟Communications in ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] in generale il modello adatto per simulare un sistema fisico quantistico. Gli inizi della teoria risalgono agli anni Novanta, in campo della combinatoria delle parole. L'Handbook of theoretical computer science di Leeuwen (1990a e b) tratta tutti ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] grande capacità. Si tratta di una memoria per personal computer, cosiddetta 'random access memory' (RAM, memoria ad nodi in ℝ3. Per questo e altri risultati sui gruppi quantistici, sulle rappresentazioni delle algebre di Lie semplici e in meccanica ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] , contemporaneamente alla sua versione anglosassone (theoretical computer science). L'uso di tali termini si . Esempi di tali paradigmi sono il calcolo neuronale, il calcolo quantistico e il calcolo molecolare. L'interesse per tali modelli ‒ ai ...
Leggi Tutto
calcolatore quantistico
loc. s.le m. Computer che può disporre di una potenza di calcolo molto elevata, funzionante sulla base dei principi elaborati dalla teoria computazionale quantistica. ◆ Esperti della Nasa anticipano un futuro remoto...
qubit
s. m. inv. Unità minima di informazione che può essere elaborata da un calcolatore quantistico. ◆ Nei computer del futuro, i bit, gli interruttori che accendendosi e spegnendosi fanno funzionare il microprocessore, potranno essere sostituiti...