Kinds of knowledge - Journal of Omnifarious
Feb. 16th, 2005
03:51 pm - Kinds of knowledge
There is knowledge, and meta-knowledge. This distinction isn't academic, it's one we live with every single day. It's a constant source of frustration to many, and a reasonable portion of the mental health industry is devoted to helping people dealing with the distinction and barrier between the two.
A martial artist, for example, or a figure skater both have a strong knowledge of classical physics. This knowledge is a part of every move when they are practicing their respective disciplines.
Then, there is Sir Isaac Newton. Newton literally wrote the book on classical physics. But, it's very likely that Newton wasn't very good (in fact would probably have been awful) at martial arts or figure skating.
Knowing and doing aren't the same things. And while one can inform the other, they are fundamentally different kinds of knowledge.
These seem strongly related to the idea of a Universal Turing machine. A Universal Turing machine is a turing machine capable of running other turing machines. It's like a turing machine that has knowledge of what a turing machine is. But, that knowledge doesn't enable it to make perfect predictions about other turing machines.
For example, the 'halting problem', the question of whether or not a given turing machine will ever finish, can't be solved in general. You can't make a turing machine that can analyze a universal turing machine input (i.e. a description of another turing machine) and tell you whether or not that other turing machine will halt. I sort of liken that to Newton, though having a thorough understanding of classical physics, still not being a spectacular martial artist or figure skater.
Anyway, those are some thoughts I had while reading "The Emperor's New Mind".