"The interplay between mathematics and computer science is a rich source of deep and beautiful results."
What is real is what is effective.