Computability And Models