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
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: 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
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
Numeri
Umberto Zannier
Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] se possa esistere. Si è ipotizzata l’esistenza di possibili metodi di soluzione mediante l’utilizzo dei cosiddetti computerquantistici, ma ancora non sono a disposizione risultati concreti.
A tale proposito è molto curiosa l’esperienza del celebre ...
Leggi Tutto
Modello
Silvano Petrarca
Il termine modello è diffusamente utilizzato per indicare un ampio insieme di costruzioni formali ottenute mediante schematizzazioni di processi, comportamenti, situazioni ecc., [...] all'inizio del 20° sec. alla nascita della meccanica quantistica. All'epoca di tale discussione su queste manifestazioni della fisica di un sistema complesso. La simulazione al computer richiede che si abbia una formalizzazione matematica completa ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] con il gruppo SU(3) che è alla base della cromodinamica quantistica e che agisce sui colori dei quark e dei gluoni. Questo impianto premio Nobel 1991 per la chimica.
Usata la computer graphics per descrivere strutture chimiche. Cyrus Levinthal e i ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] I mondi sono in questo caso stati di un computer e le relazioni indicizzate da programmi descrivono possibili transizioni distanza dall'implicazione classica si noti che l'implicazione quantistica A→B viene normalmente introdotta per definizione come ...
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...