Abramson is a contemporary philosopher working in the philosophy of mathematics and computation, known for contributions to debates surrounding the Church-Turing thesis and its epistemological status. Their work challenges the assumption that Turing's thesis admits of formal mathematical demonstration, situating it instead as an informal conceptual claim.
Argued that Turing's thesis cannot be established by mathematical proof due to its informal, intuitive character
Contributed to philosophical analysis of the limits of formal systems in capturing computational notions
Engaged with debates on the epistemic status of Church-Turing equivalence claims