I think you missed my point, probably because I didn't fully state it.Chris Peterson wrote:It has no obvious rules. Could you write out the rules you use to play chess (let alone Go)? At best you might be able to express a broad strategy based on the board position and the next few moves, or your reasoning behind one specific move. No Grand Master can deliver a set of rules to a newbie chess player and have him become a Grand Master immediately himself.rstevenson wrote:But surely the computer could now be instructed to print out its rules.Chris Peterson wrote:... Regarding the Go playing computer, I imagine the program must observe some kind of probabilistic rules. But Go is too complex to really have any such rules that you can write down. If that's what the computer is using, it figured them out for itself.
This Go system, like your own mind, is well beyond our ability to fully analyze. Whether it's impossible or just very difficult may be uncertain, but from a practical standpoint, neither can be seen as deterministic. If the same board pattern came around again at some time in the future, neither of you would necessarily choose the same move.
The Go-playing computer has a finite digital memory, which is in a particular state at a particular time. (We know next to nothing about our own memories, but there's good reason to think they're not digital, and certainly they're not accessible the way a computer's memory is.) The Go-playing computer can be told, via programming, to print out whatever is in its memory regarding its strategy for working through its decision tree at that particular time. That would be the strategy it is using at that time.
I agree this would not be a complete set of instructions if it is changing its strategy as time goes on, which I suppose it is doing. But it is already able to beat world-class human players, so this print out would be a world-class strategy. (It will need to be translated from, I guess, machine code to a more easily readable form.) The printout, and even more so the translation, would be very large, of course, but not infinite.
Rob