Aren't you confusing computability with Godel's incompleteness theorem?