So if you want a more general motivation for constructive mathematics, I recommend another paper by Andrej Bauer: Five stages of accepting constructive mathematics.

http://math.andrej.com/2016/10/10/five-stages-of-accepting-c...