01921nam0 2200421 i 450 VAN0011371620240806100749.645N978331922156420180117d2015 |0itac50 baengCH|||| |||||Turing’s revolutionthe impact of his ideas about computabilityGiovanni Sommaruga, Thomas Strahm editors[Cham]BirkhäuserSpringer2015XXIV, 329 p.ill.24 cmVAN00235323Turing’s revolution : the impact of his ideas about computability152275101AxxHistory of mathematics and mathematicians [MSC 2020]VANC019751MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03AxxPhilosophical aspects of logic and foundations [MSC 2020]VANC031175MF03DxxComputability and recursion theory [MSC 2020]VANC024386MFAlonzo ChurchKW:KComputer musicKW:KEmil PostKW:KGeneralised computabilityKW:KPhilosophy of computabilityKW:KCHChamVANL001889SommarugaGiovanniVANV087815StrahmThomasVANV087816Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20241115RICAhttp://dx.doi.org/10.1007/978-3-319-22156-4E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00113716BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 0502 08eMF502 20180117 Turing’s revolution1522751UNICAMPANIA