I don't think informal human reasoning corresponds to Bayesian inference with any prior. Maybe you mean "what informal human reasoning should be". In that case I'd like a formal description of what it should be (ahem).
I'd like a formal description of what it should be
Solomonoff induction, mebbe?
This thread is for the discussion of Less Wrong topics that have not appeared in recent posts. If a discussion gets unwieldy, celebrate by turning it into a top-level post.
This thread brought to you by quantum immortality.