On the extreme power of nonstandard programming languages
Suenaga and Hasuo introduced a nonstandard programming language While^ dt which models hybrid systems. We demonstrate why While^ dt is not suitable for modeling actual computations.
READ FULL TEXT