In addition to the links provided by others, I also recommend looking at Paul’s new report: “Non-omniscience, probabilistic inference, and metamathematics.”
Edit: Oops, this was already linked from this comment.
In addition to the links provided by others, I also recommend looking at Paul’s new report: “Non-omniscience, probabilistic inference, and metamathematics.”
Edit: Oops, this was already linked from this comment.