Howard Sturgis is a contemporary philosopher working in the philosophy of mathematics and computability theory. He is known for his critical analysis of the Church-Turing thesis, arguing that the informal nature of Turing's thesis places it beyond the reach of formal mathematical proof. His work engages questions about the limits of formalization and the epistemological status of foundational claims in computer science.
Argued that Church-Turing thesis is an empirical or conceptual claim rather than a mathematically provable proposition
Contributed to debates on the foundations and limits of computability theory
Engaged with questions about the boundary between formal proof and informal mathematical reasoning