On Two Models of Provability.- Directions for Computability Theory Beyond Pure Mathematical.- Computability and Computable Models.-...