MikkW comments on Thinking About Filtered Evidence Is (Very!) Hard

[MikkW]

I follow most of this, but… uh, what’s PA?

Upon reflection, it seems you’re talking about Peano arithmetic. Would be good if the post spelled that out.

[abramdemski]

Yep. I’ll insert some clarification.