Dear FOM'ers, Can someone please provide some references on connections between constructivism in mathematics and mathematical physics? There must be some literature on this topic. Thanks, Steve Awodey Carnegie Mellon