We add some new insights, and thus hopefully contribute to give new impetus, to an old theme: constructive mathematics, and topology in particular, can be thought of as an abstract way to deal with computation. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Sambin, G. (2007). Doing without turing machines: Constructivism and formal topology. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4497 LNCS, pp. 674–675). https://doi.org/10.1007/978-3-540-73001-9_71
Mendeley helps you to discover research relevant for your work.