holomorphic

joined 2 years ago
[–] holomorphic@lemmy.world 5 points 1 month ago (1 children)

Because, while Switzerland is not part of the EU, it follows many of its regulations. Maybe even most of them.

In this particular case, I happen to know that the inofficial rule is indeed to have burner phones for travel into the us in some cases. But you're never supposed to have unencrypted data on your phone or laptop in any case.

[–] holomorphic@lemmy.world 8 points 11 months ago

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

[–] holomorphic@lemmy.world 3 points 11 months ago

Probably every single person with knee problems.

[–] holomorphic@lemmy.world 6 points 1 year ago

I didn't know that Rómendacil II was born with another name. Got the rest. :)

[–] holomorphic@lemmy.world 3 points 1 year ago* (last edited 1 year ago) (2 children)

Logicians are mathematicians. Well, most of them are.

[–] holomorphic@lemmy.world 3 points 1 year ago (4 children)

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 3 points 1 year ago* (last edited 1 year 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 1 year ago (2 children)

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 1 year ago* (last edited 1 year ago) (1 children)

Probably 'proof of concept'

[–] holomorphic@lemmy.world 3 points 1 year ago (1 children)

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

 
 
view more: next ›