file.pdf (529.07 kB)
Computability and analysis: the legacy of Alan Turing
journal contribution
posted on 2012-10-31, 00:00 authored by Jeremy AvigadJeremy Avigad, Vasco BrattkaWe discuss the legacy of Alan Turing and his impact on computability and analysis.