Physical Computability Theses