Posts
Showing posts from March, 2014
Posted by
Richard Pettigrew
CFP: *Extended Deadline* Symposium on the Foundations of Mathematics, Kurt Gödel Research Center, University of Vienna, 7-8 July 2014.
- Get link
- X
- Other Apps
Posted by
Richard Pettigrew
Buchak on risk and rationality II: the virtues of expected utility theory
- Get link
- X
- Other Apps
Posted by
Catarina
Logical foundations for mathematics? The first-order vs. second-order ‘dichotomy’? (Part IV of 'Axiomatizations of arithmetic...')
- Get link
- X
- Other Apps
Posted by
Vincenzo Crupi
Summer school: Proof, Truth, Computation (deadline approaching!)
- Get link
- X
- Other Apps