Tecnologia

La logica del calcolatore nei linguaggi procedurali

Le complesse procedure a calcolatore si riducono a pochissimi passi logici di base e rispettano le regole di deduzione stabilite dalla logica formale

Una macchina “intelligente”, ovvero un calcolatore, dovrebbe essere in grado di districarsi tra questi concetti che sembrano paradossali.

Vediamo più da vicino quali strumenti di base abbiamo a disposizione per costruire un calcolatore. In particolare analizziamo il funzionamento di un calcolatore, la macchina che è maggiormente candidata al raggiungimento di un simile obiettivo.

La logica del computer, nei linguaggi procedurali soliti, si basa su tre paradigmi:

1) sequenza - le istruzioni vengono eseguite in successione;

2) IF condizione THEN azione - Se si verifica una certa condizione allora viene eseguita una determinata azione;

3) salto - la sequenza delle operazioni passa ad un certo punto del programma antecedente o successivo all'istruzione corrente.

Come si vede le complesse procedure a calcolatore si riducono a pochissimi passi logici di base e da un certo punto di vista i programmi scritti per calcolatore sono logici, nel senso che rispettano le regole di deduzione stabilite dalla logica formale. Anche il neurone, costituente di base del cervello, funziona con un meccanismo di tutto o niente; ciascun neurone scarica un unico impulso elettrico, se eccitato sopra un determinato livello di soglia oppure non scarica affatto. I neuroni però sono collegati tra di loro in maniera molto complessa e, mentre si può isolare quale istruzione di programma viene eseguita in un determinato momento in un calcolatore, non è possibile determinare quale neurone possa essere responsabile di una determinata risposta in un particolare momento nel cervello. L'informazione nel cervello non è localizzata e probabilmente si diffonde in maniera olografica per aree molto vaste del cervello stesso.

Se l'approccio neuronale non ci è di grande aiuto per comprendere la logica del cervello vivente possiamo tentare con la psicologia cognitiva per trovare qualche suggerimento che ci aiuti nella comprensione delle somiglianze e delle differenze tra il procedere umano e l'esecuzione di algoritmi programmati a calcolatore.

Nuovi composti per i superconduttori

Questo studio scientifico dimostra che si può riprodurre una superconduttività in composti con argento e fluoro al posto di rame e ossigeno

Temperature relativamente più alte per raggiungere la superconduttività con argento e fluoro al posto di rame e ossigeno (con i quali si è ottenuto il record premiato con il Nobel).

È quanto propone un team di ricerca internazionale cui partecipa il Consiglio nazionale delle ricerche (Ismn, Istituto Spin, Isc). Tale risultato potrebbe consentire un utilizzo molto più economico nella diagnostica medica e negli acceleratori. Lo studio è pubblicato su su Proceeding of the National Academy of Sciences (Pnas). (1)

I superconduttori ‘chiedono’ il freddo per condurre l'elettricità senza perdita d'energia. Infatti se portati a temperature pari o inferiori a -140? permettono un moto perpetuo degli elettroni che viene sfruttato per creare grandi campi magnetici. Tuttavia questi materiali speciali, usati per la diagnostica medica, per esempio la risonanza magnetica, o negli esperimenti nei grandi acceleratori come Lhc del Cern potrebbero essere utilizzati più ampiamente se si potesse evitare di raffreddarli a bassissima temperatura, operazione che richiede costi elevati.

Un team internazionale composto da ricercatori del Consiglio nazionale delle ricerche (Istituto per lo studio dei materiali nanostrutturati, Istituto Spin, Istituto dei sistemi complessi) e colleghi di Polonia, Regno Unito, Slovenia, Stati Uniti e Repubblica Slovacca hanno proposto una nuova famiglia di composti.

“Finora il record a pressione ambiente è stato ottenuto con una famiglia di materiali contenenti rame e ossigeno che devono essere raffreddati ‘solo’ fino a -140? per diventare superconduttori: una scoperta che è valsa il premio Nobel a Bednorz e Müller nel 1987”, spiega José Lorenzana, direttore dell’Istituto dei sistemi complessi (Cnr-Isc).

“Curiosamente, i materiali di base per fare questi superconduttori non sono buoni conduttori ma ceramici isolanti, simili a una porcellana con caratteristiche molto peculiari, in grado di sfidare le leggi basilari sulla conduttività dei solidi e con forti fluttuazioni quantistiche, fenomeni considerati il “concime”, cioè necessari, per raggiungere la superconduttività ad alta temperatura. Solo dopo un’appropriata sostituzione chimica diventano metallici a temperatura ambiente e superconduttori se raffreddati. I nostri studi hanno mostrato che è possibile riprodurre lo stesso ‘concime quantistico’ che dà luogo alla superconduttività in materiali con argento e fluoro al posto di rame e ossigeno”.

Una miscela di atomi con diversi spin

Osservato lo sviluppo di forti correlazioni quantistiche in un gas di atomi fermionici repulsivamente interagenti, raffreddato allo zero assoluto

Un team di ricerca del Cnr-Ino in collaborazione con il premio Nobel per la Fisica, Wolfgang Ketterle del MIT, ha osservato per la prima volta come una miscela di atomi con diversi spin, soggetta ad una forte interazione, formi uno stato simile alle emulsioni classiche.

Questo risultato rappresenta un traguardo per la comprensione dei fenomeni quantistici nella materia e per lo sviluppo di nuove tecnologie basate sulla meccanica quantistica.

Un team di ricercatori dell’Istituto nazionale di ottica del Consiglio nazionale delle ricerche (Cnr-Ino) e del Laboratorio europeo di spettroscopie non lineari (Lens) dell’Università di Firenze, afferente al gruppo di ricerca “Quantum Gases” diretto da Massimo Inguscio ed in collaborazione con il premio Nobel per la Fisica nel 2001, Wolfgang Ketterle del Massachusetts Institute of Technology (MIT), ha osservato per la prima volta lo sviluppo di forti correlazioni quantistiche in un gas di atomi fermionici repulsivamente interagenti, raffreddato a temperature prossime allo zero assoluto.

I ricercatori sono così riusciti a rivelare come la presenza simultanea ed antagonista di correlazioni repulsive ed attrattive tra le particelle favorisca l’insorgere nel gas di uno nuovo stato di emulsione, analogo quantistico e gassoso di emulsioni classiche come la maionese. La ricerca è pubblicata sulla prestigiosa rivista internazionale Physical Review Letters ed è stata selezionata come Editors’ Suggestion e Viewpoint in Physics. (1)

“Abbiamo inizialmente creato una miscela ultrafredda di due tipi di atomi, caratterizzati da spin differenti. Mediante un rapido impulso di radiazione a radiofrequenza, abbiamo fatto sì che gli atomi reagissero improvvisamente, formando coppie legate molecolari”, spiega Ketterle. “Utilizzando tecniche spettroscopiche di alta precisione abbiamo però osservato, che prima di legarsi gli atomi si respingono fortemente, formando a tempi lunghi uno stato eterogeneo di atomi e molecole analogo ad un’emulsione classica. Ci ha stupito scoprire come un sistema apparentemente semplice esibisca un comportamento così ricco e complesso, conseguenza solamente delle correlazioni quantistiche tra le particelle”.

Pagine