Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] mediante modelli di calcolo non deterministici, in cui cioè le computazioni non sono costituite da una sequenza univoca di passi ma qubit. Per analoghi motivi, in un calcolatore quantistico (a differenza di quanto accadrebbe in uno probabilistico ...
Leggi Tutto
STATISTICA, MECCANICA
Enrico FERMI
Lo studio della struttura molecolare e atomica della materia ha reso necessario lo sviluppo di metodi particolari, adatti alla discussione delle proprietà di sistemi [...] e cioè che alcuni dei gradi di libertà si debbono computare e altri trascurare agli effetti del calore specifico, si stato di energia wr; questo problema, che è l'analogo quantistico della ricerca della legge di ripartizione di Boltzmann, si può ...
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
Considerazioni metodologiche sullo studio delle funzioni cerebrali
Frank van der Velde
(Unit of Experimental and Theoretical Psychology, Leiden Universiteit, Leida, Paesi Bassi)
L'integrazione tra neuroscienze [...] esempio, il modello di atomo sviluppato in fisica quantistica mostra che ogni elemento emette o assorbe radiazioni solo sopra. l diversi casi rappresentano la conoscenza necessaria per computare l'addizione.
Nell'addizione di due numeri binari si ...
Leggi Tutto
Calcolatori
GGianfranco Bilardi e Raffaele Tripiccione
Nicola Cabibbo
Mario Rasetti
Hardware, di Gianfranco Bilardi e Raffaele Tripiccione
Calcolatori paralleli, di Nicola Cabibbo
Calcolo quantistico, [...] una definizione seriale, passo per passo, della computazione, che limita la quantità di operazioni che per molta più informazione. In linea di principio, un circuito booleano quantistico con n bit di ingresso equivale a un gran numero (esponenziale ...
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
Psiche
Riccardo Zerbetto
L'etimologia del termine psiche (dal greco ψυχή, connesso con ψύχω, "respirare, soffiare") si riconduce all'idea del 'soffio', cioè del respiro vitale; presso i greci designava [...] 'una nuova teoria fisica', in grado di fare da ponte tra la meccanica quantistica e quella classica e che 'vada oltre la computazione'. Per rimanere ancorati alle funzioni biologiche dell'encefalo, è interessante riportare il dato sottolineato ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] finiti
Un automa finito è il modello più semplice di computazione e, più in generale, di comportamento di un sistema: in generale il modello adatto per simulare un sistema fisico quantistico. Gli inizi della teoria risalgono in generale agli anni ...
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
La grande scienza: introduzione
Enrico Alleva
Sergio Carrà
Gilberto Corbellini
Giorgio Parisi
La grande scienza
Le attività di ricerca scientifica abbracciano oggi un enorme numero di settori e di [...] esse sono anche responsabili delle forze fra i nuclei.
La meccanica quantistica non spiega perfettamente le proprietà degli atomi e delle molecole; della cristallografia a raggi X e della computazione ad alta velocità hanno enormemente facilitato la ...
Leggi Tutto