Par for the course for computer scientists - if we had infinite time/space we wouldn't have to optimise anything.
This paper  by Ed Nelson presents a brilliant analysis on the difference between classical logicians and intuitionists.
It starts with a crucial distinction in semantics.
Assuming ∀x¬A and arriving at a contradiction not a proof for ∃xA.
And yet, simply on the grounds of utility, the intuitionist perspective is far more useful to me as an every-day philosophy simply because "incomplete communications" is a mental model of how human systems/interactions work and how information flows in general. That which we call knowledge is socially constructed  and is always incomplete.