Decidability and Constructivism | Synapse