Computational Theory and Mathematics