In questo lavoro viene analizzato l'impatto dell'opera di Alan Turing sulla ricerca logica. In particolare, vengono esaminate le novità introdotte da una nuova area di ricerca che è emersa da un'evoluzione delle idee di Turing -- la teoria della complessità computazionale -- rispetto ai problemi logici tradizionali.
L'impatto di Turing sulla logica
D'AGOSTINO, Marcello
2005
Abstract
In questo lavoro viene analizzato l'impatto dell'opera di Alan Turing sulla ricerca logica. In particolare, vengono esaminate le novità introdotte da una nuova area di ricerca che è emersa da un'evoluzione delle idee di Turing -- la teoria della complessità computazionale -- rispetto ai problemi logici tradizionali.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in SFERA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
