Just wanted to say I took a semester on this topic as part of a computer science degree. Fascinating stuff but I still remember how it befuddled me and that was a long time ago in a galaxy far, far away.

So I can appreciate those who are experts in this field!