Switch to: References

Add citations

You must login to add citations.
  1. Recursive analysis of singular ordinary differential equations.Peter Buser & Bruno Scarpellini - 2010 - Annals of Pure and Applied Logic 162 (1):20-35.
    We investigate systems of ordinary differential equations with a parameter. We show that under suitable assumptions on the systems the solutions are computable in the sense of recursive analysis. As an application we give a complete characterization of the recursively enumerable sets using Fourier coefficients of recursive analytic functions that are generated by differential equations and elementary operations.
    Download  
     
    Export citation  
     
    Bookmark  
  • Turing: The Great Unknown.Aurea Anguera, Juan A. Lara, David Lizcano, María-Aurora Martínez, Juan Pazos & F. David de la Peña - 2020 - Foundations of Science 25 (4):1203-1225.
    Turing was an exceptional mathematician with a peculiar and fascinating personality and yet he remains largely unknown. In fact, he might be considered the father of the von Neumann architecture computer and the pioneer of Artificial Intelligence. And all thanks to his machines; both those that Church called “Turing machines” and the a-, c-, o-, unorganized- and p-machines, which gave rise to evolutionary computations and genetic programming as well as connectionism and learning. This paper looks at all of these and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Undecidability through Fourier series.Peter Buser & Bruno Scarpellini - 2016 - Annals of Pure and Applied Logic 167 (7):507-524.
    Download  
     
    Export citation  
     
    Bookmark