Category: Uncategorised

I’ve written this post before but looking back I don’t think it was particularly good. Too many symbols and not enough explanation maybe. In this post I’ll expand on the sense in which a failure of computability implies a failure in provability. Turing Machines Turing machines are a way to treat computer programs as a…