Posts

Showing posts with the label incompleteness

Diagonalization and Différance: a mismatch of scope

Is arithmetic a necessary condition for Gödel incompleteness?