The fifth fact is a consequence of the previous ones.
It seems that by “consequence” you mean “logical consequence”, that is if I, observing this scenario, note that the first 5 conditions hold, I can derive that the 6th condition holds as well.
There is another interpretation though, that you mean a “causal consequence”, that the baron, by having a certain model of the countess, makes that model correct, because the baron is rational and therefor will produce a correct model. What this interpretation tells us is wrong. (Eliezer, were you interpreting it this way when you said Stuart misunderstood your point?)
Yes, I’m eliding Godelian arguments there… Consequences of anyone being rational and believing X have been removed.
Interestingly, in the model I produced down below, both the countess and the baron produce correct models of each other. Furthermore, the countess knows she produces a correct model of the baron (as she runs his source successfuly).
It also happens that the baron can check he has the correct model of the countess, after making his decision, by running her code. Since the countess will stop running his own code as soon as she also knows his outcome, he can know that his model was accurate in finite time.
It seems that by “consequence” you mean “logical consequence”, that is if I, observing this scenario, note that the first 5 conditions hold, I can derive that the 6th condition holds as well.
There is another interpretation though, that you mean a “causal consequence”, that the baron, by having a certain model of the countess, makes that model correct, because the baron is rational and therefor will produce a correct model. What this interpretation tells us is wrong. (Eliezer, were you interpreting it this way when you said Stuart misunderstood your point?)
Yes, I’m eliding Godelian arguments there… Consequences of anyone being rational and believing X have been removed.
Interestingly, in the model I produced down below, both the countess and the baron produce correct models of each other. Furthermore, the countess knows she produces a correct model of the baron (as she runs his source successfuly).
It also happens that the baron can check he has the correct model of the countess, after making his decision, by running her code. Since the countess will stop running his own code as soon as she also knows his outcome, he can know that his model was accurate in finite time.