"formula of computation" Deutsche bedeutung