Showing posts from February, 2014

Job opportunities at the MCMP

The deductive use of logic in mathematics (Part III of 'Axiomatizations of arithmetic...')

The descriptive use of logic in mathematics (Part II of 'Axiomatizations of arithmetic...')

Axiomatizations of arithmetic and the first-order/second-order divide

CFP: Symposium on the Foundations of Mathematics, 7-8 July, Kurt Gödel Research Center, Vienna.

Summer School on PROBABILITIES IN PHYSICS (July 21-26, 2014)

Buchak on risk and rationality