[hackinthebochs]

>My main point is I disagree with the view of mathematics as nothing more than some axiomatic program

I just don't see how this follows from Godel. It gives us a more expansive view of math, but I don't see how any fundamental understanding is overturned. I don't see how this takes away from the connection between axioms and theorems. The characterization of math as discovering the logical consequences of axioms is just as true.

[johnbender]

Cousin comment helped me out a bunch:

https://news.ycombinator.com/item?id=14540054