Kapovich et al. refers to a collaborative authorship in contemporary philosophy of logic and mathematics, addressing epistemological questions about logical knowledge and its relationship to computation. Their work engages with debates on the a priori status of logic in light of computational complexity and feasibility constraints.
Articulated tensions between a priori conceptions of logical knowledge and computational tractability
Contributed to contemporary philosophy of logic and mathematical epistemology
Engaged debates on feasibility constraints in logical reasoning