Computation and Logic in the Real World
Lecture Notes in Computer Science, 2007, Volume 4497/2007, 674-675, DOI: 10.1007/978-3-540-73001-9_71

Doing Without Turing Machines: Constructivism and Formal Topology

Giovanni Sambin

View Related Documents

Abstract

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.

Keywords  constructive mathematics - minimalist foundation - pointfree topology - formal topology

Fulltext Preview

Image of the first page of the fulltext document