Computational Models of Mathematical Systems