Nuovi paradigmi computazionali, mutevoli concezioni di ciò che è calcolabile

Questa superba esposizione di un argomento complesso esamina i nuovi sviluppi nella teoria e nella pratica del calcolo da una prospettiva matematica, con argomenti che vanno dalla computabilità classica alla complessità, dal biocomputing al calcolo quantistico. Questo libro è adatto a ricercatori e studenti laureati in matematica, filosofia e informatica con un interesse speciale per la logica e le questioni fondamentali. Molto utili per gli studenti laureati sono i documenti di indagine sull'analisi computabile e l'informatica biologica. Anche logici e fisici teorici trarranno beneficio da qu...