Comment by logicchains

Constructive maths is generally computable maths, which means less worry about whether whatever you just did is computable or not.