Lautemann is a contemporary researcher working at the intersection of logic, computation, and epistemology. Their work examines the relationship between a priori logical knowledge and the computational complexity of logical reasoning, contributing to debates in the philosophy of logic and mathematics.
Explored tensions between a priori logical knowledge and computational complexity
Contributed to the philosophy of logic and mathematics
Engaged with questions on the epistemology of logical reasoning