mathematics is the science of the infinite, computer science is the science of the finite