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