Computability and analysis: the legacy of Alan Turing

Por • 3 abr, 2020 • Sección: Ciencia y tecnología

Jeremy Avigad, Vasco Brattka

We discuss the legacy of Alan Turing and his impact on computability and analysis.

arXiv:1206.3431 [math.LO]

Logic (math.LO); Logic in Computer Science (cs.LO); History and Overview (math.HO)

Post to Twitter

Escribe un comentario