Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Some recent developments on Shannon's General Purpose Analog Computer.Daniel Silva Graça - 2004 - Mathematical Logic Quarterly 50 (4-5):473-485.
    This paper revisits one of the first models of analog computation, the General Purpose Analog Computer (GPAC). In particular, we restrict our attention to the improved model presented in [11] and we show that it can be further refined. With this we prove the following: (i) the previous model can be simplified; (ii) it admits extensions having close connections with the class of smooth continuous time dynamical systems. As a consequence, we conclude that some of these extensions achieve Turing universality. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Some recent developments on Shannon's General Purpose Analog Computer.Daniel Silva Graça - 2004 - Mathematical Logic Quarterly 50 (4-5):473-485.
    This paper revisits one of the first models of analog computation, the General Purpose Analog Computer . In particular, we restrict our attention to the improved model presented in [11] and we show that it can be further refined. With this we prove the following: the previous model can be simplified; it admits extensions having close connections with the class of smooth continuous time dynamical systems. As a consequence, we conclude that some of these extensions achieve Turing universality. Finally, it (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Computable Functionals.A. Grzegorczyk - 1959 - Journal of Symbolic Logic 24 (1):50-51.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Recursion Theory on the Reals and Continuous-time Computation.Christopher Moore - 1996 - Theoretical Computer Science 162:23--44.
    Download  
     
    Export citation  
     
    Bookmark   13 citations