Showing posts from March, 2014

Counting Infinities

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

Buchak on risk and rationality II: the virtues of expected utility theory

Logical foundations for mathematics? The first-order vs. second-order ‘dichotomy’? (Part IV of 'Axiomatizations of arithmetic...')

Summer school: Proof, Truth, Computation (deadline approaching!)