presented at event Special Session on Computability and Complexity in Discrete and Continuous Worlds, Meeting of the American Mathematical Society Conference