Fair enough. I note for the public record that I’m not agreeing (nor 100% disagreeing) with
practically you can get “certain enough” with a finite number of iterations
as an accurate characterization of something I think. For example, it currently seems to me like finite iterations doesn’t solve two-generals, while p-common knowledge does.
However, the main thrust of the post is more to question the standard picture than to say exactly what the real picture is (since I remain broadly skeptical about it).
Fair enough. I note for the public record that I’m not agreeing (nor 100% disagreeing) with
as an accurate characterization of something I think. For example, it currently seems to me like finite iterations doesn’t solve two-generals, while p-common knowledge does.
However, the main thrust of the post is more to question the standard picture than to say exactly what the real picture is (since I remain broadly skeptical about it).