Gödel's incompleteness theorem, and IIRC most of his work on logic, are all within the mainstream of mathematics. His proofs are studied and are valid.

I would say it is more akin to saying that mathematics is something that is discovered, rather than invented. The one subject in which you can know things. As such it could be regarded as something that is independent of God. I think even St Augustine (of Hyppo) looked at it this way.

This post was last modified: 09-05-2016 11:27 AM by lacb.