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 tgflynn on Thursday December 19, 2019 @06:54AM (#21834073)
So what practical applications do these functions have whose derivatives can't be approximated numerically ?
[ Parent | on HN ]
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 ]