Vasco Brattka Universität der Bundeswehr München, Germany Journal Computability ISSN: 22113568 Read Online