Computability in the limit