Church's thesis

Summary