On the Computational Power of Physical Systems, Undecidability, the Consistency of Phenomena, and the Practical Uses of Paradoxes