> After all, programming is just a subset of mathematics anyway.. It's more of engineering subset. The resulting artefacts are rarely mathematically provable (

> After all, programming is just a subset of mathematics anyway.. It's more of engineering subset. The resulting artefacts are rarely mathematically provable (bugs and Rice theorem).