Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.
Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente
Preface (Martin Davis).-
I Introduction (Sommaruga, Strahm).-
II Turing and the history of computability theory .-
1. Conceptual Confluence in 1936: Post & Turing, Martin Davis and Wilfried Sieg.-
2. Algorithms: From Al-Khwarizmi to Turing and Beyond, Wolfgang Thomas.-
3. The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann? Jack Copeland and Giovanni Sommaruga.-
III Generalizing Turing computability theory.-
1. Theses for Computation and Recursion on Concrete and Abstract Structures, Solomon Feferman.-
2. Generalizing Computability Theory to Abstract Algebras, John V. Tucker and Jeffrey Zucker.-
3. Discrete Transfinite Computation, Philip Welch.-
4. Semantics-to-Syntax Analyses of Algorithms, Yuri Gurevich.-
5. The Information Content of Typical Reals, George Barmpalias and Andy Lewis-Pye.-
6. Proof-theoretic Analysis by Iterated Reflection, Lev Beklemishev.-
IV Philosophical reflections.-
1. Alan Turing and the Foundation of Computer Science, Juraj Hromkovic.-Il sito utilizza cookie ed altri strumenti di tracciamento che raccolgono informazioni dal dispositivo dell’utente. Oltre ai cookie tecnici ed analitici aggregati, strettamente necessari per il funzionamento di questo sito web, previo consenso dell’utente possono essere installati cookie di profilazione e marketing e cookie dei social media. Cliccando su “Accetto tutti i cookie” saranno attivate tutte le categorie di cookie. Per accettare solo deterninate categorie di cookie, cliccare invece su “Impostazioni cookie”. Chiudendo il banner o continuando a navigare saranno installati solo cookie tecnici. Per maggiori dettagli, consultare la Cookie Policy.