|
|
|
|
|
|
by woodman
4156 days ago
|
|
|
> 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. We do. |
|
|
http://en.wikipedia.org/wiki/Godel's_incompleteness_theorems