Just mentioning another approach. I don't really understand it myself, but I kind of find it intriguing because of its relation to computability aspects.