Degrees of Belief and Knowledge in Mathematics
Benedikt Loewe, Thomas Mueller

Abstract:
This is an extended abstract of a talk to be delivered at the
conference "Degrees of Belief" in Konstanz (July 2004).

Keywords: Philosophy of Mathematics;  Proofs;  Derivations