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

[benelliott]

I’d be willing to bet 100$ to 1$ which would be well within both of our stated estimates.

Depending on the exact conditions, I might be prepared to take that.