paulfchristiano comments on Trusting Yourself (Formally)

[paulfchristiano]

Consider such a simplified world in the interest of making the point clearer. Do you think this problem goes away when the world is not just math?