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, [...] facilmente. Per esempio, molti pensano che uno degli sviluppi tecnologici che avranno luogo in questo secolo interesserà la computazionequantistica. Al momento, la teoria è molto più avanti delle applicazioni. Si sa che, se sarà costruito, un ...
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, [...] W. Shor (1998).
È stato recentemente dimostrato da Freedman, Kitaev, Larsen, Solovay e Wang che la parte 'quantistica' di ogni computazionequantistica può essere sostituita da un singolo calcolo del polinomio di Jones di una certa treccia in una ...
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, [...] stati, con coefficienti complessi; durante la computazione, i vari stati interferiscono tra di loro, in modo che alla fine l'output più probabile risulti quello desiderato. Bisogna dire che i computer quantistici sono, per il momento, solo macchine ...
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. [...] branca della teoria dei gruppi che si occupa di computazioni con i gruppi, in particolare con quelli presentati essere in generale il modello adatto per simulare un sistema fisico quantistico. Gli inizi della teoria risalgono agli anni Novanta, in ...
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 [...] e T2. L'esecuzione delle istruzioni di un programma (computazione), corrisponde a una serie di passi di riscrittura che Esempi di tali paradigmi sono il calcolo neuronale, il calcolo quantistico e il calcolo molecolare. L'interesse per tali modelli ‒ ...
Leggi Tutto