It’s in general uncomputable. Even if you can use it, it’s not at all clear that it’s the right thing. I would rather an easy-to-use but complicated theory instead of an elegant theory that is intractable. I don’t see why a professional scientist would ever benefit from knowing it.
It’s in general uncomputable. Even if you can use it, it’s not at all clear that it’s the right thing. I would rather an easy-to-use but complicated theory instead of an elegant theory that is intractable. I don’t see why a professional scientist would ever benefit from knowing it.