gwern comments on Edward Nelson claims proof of inconsistency in Peano Arithmetic

[gwern]

Thanks, that’s very useful for http://​​predictionbook.com/​​predictions/​​3508