Posts

Summer Schools on Epistemology and Cognition in Groningen

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)