The physical Church-Turing thesis and non deterministic computation over the real numbers

Gilles Dowek
2023-04-19
Abstract:On the real numbers, the notions of a semi-decidable relation and that of an effectively enumerable relation differ. The second only seems to be adequate to express, in an algorithmic way, non deterministic physical theories, where magnitudes are represented by real numbers.
Logic in Computer Science
What problem does this paper attempt to address?