The relationship between mathematics and computer science

This covers philosophical questions about the use of computers in mathematics and the relationship between mathematical and computational systems.