Home Online Mathematical Communication Peter Cameron's Blog Real-world Turing machines?