Elementary topology and universal computation

  • Petrus Potgieter Departement Besluitkunde, Universiteit van Suid-Afrika (Pretoria)
Keywords: Universele berekening, topologie, dimensieteorie, speldprikeienskap, berekening oor die re¨ ele getalle.

Abstract

This paper attempts to define a general framework for computability on an arbitrary topological space X . The elements of X are taken as primitives in this approach—also for the coding of functions — and, except when X = N, the natural numbers are not used directly.
Published
2008-09-20
Section
Original Research