Posts

Posted by

Diagonalization and the Diagonal Lemma

8 comments
Posted by

Judea Pearl wins Turing Award (the "Nobel Prize in Computing")

Post a Comment
Image
Posted by

7 minutes about scientific discovery

Post a Comment
Posted by

Diagonalization and Différance: a mismatch of scope

33 comments
Image
Posted by

A nightmare

Post a Comment
Posted by

Is arithmetic a necessary condition for Gödel incompleteness?

25 comments
Posted by

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

Post a Comment
Posted by

Summer school: Formal methods in philosophy

Post a Comment
Posted by

Hodges on the normativity of logic in The Reasoner

Post a Comment
Posted by

Mathematicians boycotting Elsevier

Post a Comment
Posted by

Fitelson on fallacies, cognition, and confirmation

Post a Comment