Random Variable Spaces: Mathematical Properties And An Extension To Programming Computable Functions