homotowat

The goal of this post is to outline a loophole of sorts in Gödel's Second Incompleteness (GSI) theorem (and of Löb's theorem by corollary) and give a somewhat sketchy description for how it might be exploited. I'll begin by describing the loophole. Essentially, it's merely the observation that Second Incompleteness...