No, no, that isn’t the sound of another deadline flying by. Can’t you hear the difference? It’s the cheerier noise made as a weighty email takes off and departs to the publisher, freighted with a PDF of Gödel Mark II.
Of course, that’s not the end of the matter. The wheels at CUP will start turning, and eventually I’ll get a report from their proof-reader, and have to get back to tinkering again. But for a number of weeks I can put that book aside. I feel oddly bereft. I’ll have to get working on another …
The Gentzen consistency proof please! We are eagerly awaiting it! Any projected dates?
Well, maybe I’ll have a draft in about a year … so don’t hold your breath! :-)