Models like quantum computers or analog machines with real-valued states are excluded by fiat, not b...