Uncomputability and Undecidability in Economic Theory