I think this just begs the question:
Dynamic: When the belief pool contains "X is fuzzle", send X to the action system.Ah, but the tortoise would argue that this isn't enough. Sure, the belief pool may contain "X is fuzzle," and this dynamic, but that doesn't mean that X necessarily gets sent to the action system. In addition, you need another dynamic:
Dynamic 2: When the belief pool contains "X is fuzzle", and there is a dynamic saying "When the belief pool contains 'X is fuzzle', send X to the action system", t...
The question "Is this object a blegg?" may stand in for different queries on different occasions. If it weren't standing in for some query, you'd have no reason to care.
Basically, this is pragmatism in a nutshell -- right?
A non-universal Turing machine can't simulate a universal Turing machine. (If it could, it would be universal after all -- a contradiction.)... (read more)