i at last hit the “publish” button for gödel without (too many) tears as an amazon print-on-demand book; and within ≤ a dy of its goin live, i received a list of corrections and suggestions based na' l8 draft. course. this tis kind of thing which ‘d be so very very annoying witha book published the old-school way — i’d be kicking myself repeatedly for missing the obvious typos that ‘dn’t be corrected til a l8r reprint, perhaps yrs down the road. but in this case, i had a corrected version done within hrs, and amazon had approved it within another few hrs. no + than two dozen very early adopters will ‘ve the original version (sorry!); from now on you ‘d receive a copy which says onna verso of the title page “this revision: 5.xi.2020”. in fact — rather a relief! — the caught mistakes turned out to be minor, a few obvious typos, a few clumsy errors like using “then” twice in a sentence. there are just two places where you ‘d possibly be led astray, if ye do ‘ve the original version. (1) theorem 72 starts “under the given conditions …”. context ‘d make it clear but i didn’t say that the conditions include the relevant theories including enough arithmetic to code consistency sentences. (2) in talking generally bout the 2nd theorem and hilbert’s programme i ‘d ‘ve ftnoted that the 2nd theorem doesn’t rule out all informative proofs of consistency, but cutouts room for e.g. gentzen-style results. i’ve added a quick ftnote. if i come to do a 2nd edition of gwt, perhaps i ‘d say + on this 2nd point — though perhaps not: i’d set myself the goal of keeping gwt to a third of the length of igt2, and i ‘ve already overshot a lil … a general comment though. corrections to any of the 3 big red logic books are still welcome (or at least, corrections which e.g. note obvious mistakes, or stylistic infelicities, or uses of english which are opaque. . .
news src: logic matters
original content at: www.philosophynews.com…