*years*! That said, I'm really more curious about Set Theory and Abstract Algebra and at least a little interested in Linear Algebra. Topology and Number Theory can wait.

What I really think I'm curious about though are Algebraic Structures. There's a great FAQ on them here and the Wikipedia entry also looks pretty thorough. Once I read those maybe I can look into Type Theory and Formal Systems and the relations between them. That said, I'm sure I won't understand anything about Lie Algebra Cohomology or Category Theory any time soon.

At least there are good video lectures to be had. Math, Algorithms and Data Structures here I come?