Posts

Showing posts from September, 2011

How good are Bayesian models of cognition?

Here we go again: "PA is inconsistent" (Edward Nelson)

PhD and post-doc positions in Groningen

Everything you always wanted to know about epistemic arguments for Bayesianism (but were afraid to ask)

Formal epistemology at its best

Book draft: Formal Languages in Logic

Roy's Fortnightly Puzzle: Volume 9

Normal science in a nutshell

On the largest mathematical proof -- aka the Enormous Theorem

Hit parade

Van Benthem on system imprisonment

Rational psychos?

New book: Set Theory, Arithmetic, and Foundations of Mathematics