Degrees of Belief and Knowledge in Mathematics Benedikt Löwe, Thomas Müller Abstract: This is an extended abstract of a talk to be delivered at the conference "Degrees of Belief" in Konstanz (July 2004).