On the extreme power of nonstandard programming languages

Abstract

Suenaga and Hasuo introduced a nonstandard programming language ${\mathbf{While}}^{\mathbf{dt}}$ which models hybrid systems. We demonstrate why ${\mathbf{While}}^{\mathbf{dt}}$ is not suitable for modeling actual computations.