Homer and Selman refers to the collaborative work of philosophers examining the epistemology of logic and computation, most notably associated with discussions of a priori knowledge and computational complexity. Their work probes the tension between traditional rationalist accounts of logical knowledge and the computational costs of actually deriving logical truths.
Articulated the tension between a priori status of logical knowledge and computational complexity
Contributed to epistemology of logic and philosophy of computation
Examined feasibility constraints on rationalist accounts of mathematical and logical knowledge