By Aumann’s agreement theorem (and some related/inferred ideas), two rationalists can’t agree to disagree.
Isn’t this claim obviously false? Doesn’t agreement map directly to the halting problem, which is undecidable?
Isn’t this claim obviously false? Doesn’t agreement map directly to the halting problem, which is undecidable?