Offers summary of the research on "Church's Thesis" (CT). This book includes the following: different formulations of CT; CT and intuitionism; CT and intentional mathematics; CT and physics; the epistemic status of CT; CT and philosophy of mind; provability of CT; and, CT and functional programming.