News for hackers. Stuff that matters.
Re:The Principles of Mathematics (1903) by hackinthebochs on Sunday June 11, 2017 @05:19PM (#14533844)
>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.

Re:The Principles of Mathematics (1903) by johnbender on Monday June 12, 2017 @06:22PM (#14541601)
Cousin comment helped me out a bunch:

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