Posts

Diagonalization and Différance: a mismatch of scope

A nightmare

Is arithmetic a necessary condition for Gödel incompleteness?

Two Doctoral Fellowships at the Munich Center for Mathematical Philosophy (MCMP)

Summer school: Formal methods in philosophy

Hodges on the normativity of logic in The Reasoner

Mathematicians boycotting Elsevier

Fitelson on fallacies, cognition, and confirmation

Looking for photos of Gentzen's manuscript

What is your favorite deep, elegant, or beautiful explanation?

The Fibonacci sequence, plant growth, and Vi Hart