Constructivity and Computability in Historical and Philosophical Perspective