Does Church-Turing thesis apply outside computer science?
Eugène Asarin · HAL (Le Centre pour la Communication Scientifique Directe) · 2006
We analyze whether Church-Turing thesis can be applied to mathematical and physical systems. We find the factors that allow to a class of systems to reach a Turing or a super-Turing computational power. We illustrate our general statements by some more concrete theorems on hybrid and stochastic systems.