I began writing a post on my ideas of the relationship between mathematics and computer science, which grew very long, so I am splitting the one long post in several, and I will just include links to each post here.

Table of Contents

1. Math and Computer Science
2. Unifying Math and Computer Science
3. Specification Languages