a) The difference is the irony
b) Religions don’t just make unprovable claims, they make contradictory claims. Mathematicians prefer systems which are consistent yet have unprovable claims as opposed to inconsistent systems.
b) Religions don’t just make unprovable claims, they make contradictory claims. Mathematicians prefer systems which are consistent yet have unprovable claims as opposed to inconsistent systems.
To quote myself:
> (And you can believe that Knuth and the author of the paper are smart enough to be able to reason away any inconsistencies.)