[-] holomorphic@lemmy.world 8 points 3 weeks ago

EVEN IN DEATH I SERVE THE ~~OMNISSIAH~~ORNITHOLOGIST

[-] holomorphic@lemmy.world 3 points 3 weeks ago

Probably every single person with knee problems.

[-] holomorphic@lemmy.world 3 points 1 month ago* (last edited 1 month ago)

Logicians are mathematicians. Well, most of them are.

[-] holomorphic@lemmy.world 3 points 1 month ago

I have yet to meet a single logician, american or otherwise, who would use the definition without 0.

That said, it seems to depend on the field. I think I've had this discussion with a friend working in analysis.

[-] holomorphic@lemmy.world 6 points 2 months ago
[-] holomorphic@lemmy.world 3 points 2 months ago* (last edited 2 months ago)

But the vector space of (all) real functions is a completely different beast from the space of computable functions on finite-precision numbers. If you restrict the equality of these functions to their extension,

defined as f = g iff forall x\in R: f(x)=g(x),

then that vector space appears to be not only finite dimensional, but in fact finite. Otherwise you probably get a countably infinite dimensional vector space indexed by lambda terms (or whatever formalism you prefer.) But nothing like the space which contains vectors like

F_{x_0}(x) := (1 if x = x_0; 0 otherwise)

where x_0 is uncomputable.

[-] holomorphic@lemmy.world 4 points 2 months ago

Functions from the reals to the reals are an example of a vector space with elements which can not be represented as a list of numbers.

[-] holomorphic@lemmy.world 2 points 2 months ago* (last edited 2 months ago)

Probably 'proof of concept'

[-] holomorphic@lemmy.world 3 points 3 months ago

Or more likely torus-earthers, unless the gluing is reversed.

[-] holomorphic@lemmy.world 36 points 3 months ago

Depends on the kind of blur. Some kinds can indeed be almost perfectly removed if you know the used blurring function, others are destructive. But, yes, don't take that chance. Always delete/paint over sensitive information.

Source: we had to do just that in a course I took a long time ago.

[-] holomorphic@lemmy.world 3 points 3 months ago

It may have nothing to do with categorization, but has everything to do with categorification which is much more interresting anyway.

[-] holomorphic@lemmy.world 1 points 10 months ago* (last edited 10 months ago)

Mir hei zum glück üses jährleche alpweekend vo letscht Wuche no chönne uf Disi schiebe. :)

Di letschte drü Täg isch ja eigentlech sehr guet gsi, und ih dene paar Stund wo gwitteret hett, heimer zumindescht äh sehr schöni Ussicht gha.

131
submitted 10 months ago by holomorphic@lemmy.world to c/pics@lemmy.world
view more: next ›

holomorphic

joined 1 year ago