Right, but someone still has to do the representation (encoding the information into the machine readable format), and how can you ever know that someone is encoding it correctly?
In addition, your assumption is that everything can be encoded in an axiomatic language (probably not true), and that we have enough information to encode it all even if it was possible.
> Right, but someone still has to do the representation...
The same people writing papers now.
> and how can you ever know that someone is encoding it correctly?
Reasoning engine. As new data is entered it is run against prior data, to the end user it would look almost like a spell check.
> ...your assumption is that everything can be encoded in an axiomatic language (probably not true)...
That is an extremely safe assumption to make, as the problem has been studied for a long time and I'm aware of no evidence that would back up your position.
> ...and that we have enough information to encode it all even if it was possible.
> That is an extremely safe assumption to make, as the problem has been studied for a long time and I'm aware of no evidence that would back up your position.
In addition, your assumption is that everything can be encoded in an axiomatic language (probably not true), and that we have enough information to encode it all even if it was possible.