Formal constraints on automated scientific inquiry and the logical limits of epistemic agents