News for hackers. Stuff that matters.
Re:List of Statements Independent of ZFC by Enginerrrd on Thursday December 19, 2019 @01:40AM (#21832555)
>One argument in favor of this belief is that neither practical computations nor analytic intuition require actual infinitesimals.

Don't derivatives count? That's a pretty important and trivial calculation. Sure, you can approximate it when it's nicely behaved, but they aren't always. There's also lots of verrrrrrry slowly converging series that can't be easily computed numerically.

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 ?
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.