If you accept that every mathematical structure of interest has an intuitionistic construction (as is currently believed to be the case), then every mathematical structure has an expression as a computer program.