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 eximius on Thursday December 19, 2019 @03:08PM (#21838710)
Probably lots in physics, aerospace, electrical engineering.

And, again, coming up with derived theorems that are useful.

[ Parent | on HN ]

There are no comments on this comment yet.