Displaying similar documents to “Integrazione dell’interpretazione astratta in un compilatore Prolog basato sulla WAM. Appendice: Un passo verso una metodologia per lo sviluppo di programmi Mercury: una semantica dichiarativa per Mercury”

Il calcolo quantistico: una sfida per la matematica del 2000

Mario Rasetti (2000)

Bollettino dell'Unione Matematica Italiana

Similarity:

Il calcolo quantistico cerca la risposta, ad un secolo esatto di distanza, al decimo problema di Hilbert. Nuovo paradigma nella teoria del calcolo, esso costituisce una sfida senza precedenti per la fisica, ma anche una prospettiva importante per la matematica: lo stimolo a superare i vincoli posti dalla teoria della complessità algoritmica e affrontare problemi, che spaziano dalla teoria dei numeri alla logica formale, che si ritenevano inattaccabili.