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

04/19/2023

∙

by   Gilles Dowek, et al.

∙

0

∙

share

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.