The Computational Power of Continuous Dynamic Systems

  • Jerzy Mycka
  • José Félix Costa
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3354)

Abstract

In this paper we show how to explore the classical theory of computability using the tools of Analysis: a differential scheme is substituted for the classical recurrence scheme and a limit operator is substituted for the classical minimalization. We show that most relevant problems of computability over the non negative integers can be dealt with over the reals: elementary functions are computable, Turing machines can be simulated, the hierarchy of non computable functions be represented (being the classical halting problem solvable in some level). The most typical concepts in Analysis become natural in this framework.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Jerzy Mycka
    • 1
  • José Félix Costa
    • 2
  1. 1.Institute of MathematicsUniversity of Maria Curie-SklodowskaLublinPoland
  2. 2.Department of Mathematics, I.S.T.Universidade Técnica de LisboaLisboaPortugal

Personalised recommendations