No kidding. I've been thinking about this sort of thing ever since I first learned that there was such a thing as computation theory, but I've never heard of a

No kidding. I've been thinking about this sort of thing ever since I first learned that there was such a thing as computation theory, but I've never heard of any proper treatment of the various subjects.