There is a fundamental tension between treating logical knowledge as a priori and the computational intractability of deciding logical validity.
Dive Deeper