/sci/ - Science & Math

>>15377101
>and if you want to do constructive math, the function version is what you want
Well if you do constructive math, you don't want require function existence in places where you might not need them.

Recall that in ZF, given a countable collection P of pairs (i.e. you got a function f:N->P such that f(n) is a two-element set), it is not the case that you can prove P to have a choice function (a map c from P to the union of the image of f).
In fact ZF doesn't even proof the countable union of P to be countable.

This is just to show that to demand a function where individual choices (of deltas in this case) suffice, is an unnecessary overhead.

Although that's just a generic argument against demanding more than you need - I haven't thought through what the difference in this case really would be here.

Related
https://en.wikipedia.org/wiki/Skolem_normal_form#How_Skolemization_works

Are you just asking what what features are most attractive in humans? Roughly, it's always what will bringing through healthy offspring.

There's a channel which covers a lot of the science
https://youtu.be/lSL8SuB6vFY
(there's a plastic surgery related company in the background, but nonetheless the channel is just about the studies and biology)

>>11816299
Am I confused or are you forcing A to have real determinant?

>>11816283
Literally everyone should learn a lot of things, though.

Although I don't disagree that "algebraic calculus" is nice.
I'd just say learn formal power series well.