Social constructivism as a philosophy of mathematics See original record