| > Just represent everything in a machine readable set of axioms, problem solved. We all look forward to the day that you or anyone else can do this. emptytheory's suggestion: have tons of time and determination to solve the problem. Caveat: the problem has already been solved and applied by many experts many times, where the main criticism is that some of the time these experts' application over repeated attempts is not 100% consistent. Your suggestion: encode all necessary knowledge to solve the problem so that a computer can solve it for you. Caveat: this is either being done already by domain experts, or you must go out of your way to navigate the problem based on logic and not experience (tedious, but potentially very rewarding) so as to encode this information yourself (taking some unknown amount of time). Caveat in all cases: You are just as apt to fuck up along the way as anyone else who possesses the same logical faculties as you, which presumably at least some other experts in question would. lumberjack's argument may not possess the logical upper hand, but it is a valid concern for people who are mortal, employed (or otherwise occupied with their time), and without access to a medical library. Perhaps the best way to put this is, I look forward to the day when you can prove their reasoning wrong in such a reproducible way rather than completely dismissing a conclusion due to some fault along the way. |
A set of axioms with a reasoner would do both of those things. That will be web 3.0, it is being worked on.