News for hackers. Stuff that matters.

A comment on List of Statements Independent of ZFC. Parent comment

Re:List of Statements Independent of ZFC by RossBencina on Wednesday December 18, 2019 @06:26PM (#21830566)
Being "optimally useful" is not the goal of mathematics. See for example, https://www.dpmms.cam.ac.uk/~wtg10/2cultures.pdf
[ Parent | on HN ]

There are no comments on this comment yet.