TY - GEN
T1 - The legacy of Turing in numerical analysis
AU - Cucker, Felipe
PY - 2012
Y1 - 2012
N2 - Alan Mathison Turing is revered among computer scientists for laying down the foundations of theoretical computer science via the introduction of the Turing machine, an abstract model of computation upon which, an elegant notion of cost and a theory of complexity can be developed. In this paper we argue that the contribution of Turing to "the other side of computer science", namely the domain of numerical computations as pioneered by Newton, Gauss, &c, and carried out today in the name of numerical analysis, is of an equally foundational nature. © 2012 Springer-Verlag.
AB - Alan Mathison Turing is revered among computer scientists for laying down the foundations of theoretical computer science via the introduction of the Turing machine, an abstract model of computation upon which, an elegant notion of cost and a theory of complexity can be developed. In this paper we argue that the contribution of Turing to "the other side of computer science", namely the domain of numerical computations as pioneered by Newton, Gauss, &c, and carried out today in the name of numerical analysis, is of an equally foundational nature. © 2012 Springer-Verlag.
UR - https://www.scopus.com/pages/publications/84856039591
UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-84856039591&origin=recordpage
U2 - 10.1007/978-3-642-27660-6_1
DO - 10.1007/978-3-642-27660-6_1
M3 - RGC 32 - Refereed conference paper (with host publication)
SN - 9783642276590
VL - 7147 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 13
BT - SOFSEM 2012: Theory and Practice of Computer Science
PB - Springer Verlag
T2 - 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012
Y2 - 21 January 2012 through 27 January 2012
ER -