Church thesis

Summary