bio | website | andrej.com |
---|---|---|
location | Ljubljana | |
age | 43 | |
visits | member for | 5 years |
seen | yesterday | |
stats | profile views | 6,584 |
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.
Oct 26 |
awarded | Yearling |
Oct 24 |
comment |
Topological characterization of injective metric spaces
Do you mean: "Characterize those topological spaces which are homeomorphic to an injective metric space?" or "Characterize those metric spaces which are injective, but only in terms of their topological properties?" |
Oct 24 |
answered | Topological characterization of injective metric spaces |
Oct 24 |
comment |
Topological characterization of injective metric spaces
Something's wrong with typesetting in the first paragraph. Also, don't you believe in commas? |
Oct 22 |
revised |
Two-cardinal diamond principles and saturation of the nonstationary ideal
edited body |
Oct 15 |
comment |
“Oldest” bug in computer algebra system?
Is it really that hard to go all the way up to $10^{10}$ with brute force? |
Oct 14 |
comment |
Semantics of Higher-Order Logics
Fibration semantics of first-order logic is Chapter 4. Is that what you're asking? |
Oct 13 |
comment |
Why do roots of polynomials tend to have absolute value close to 1?
@PietroMajer: please post an answer if you have a nice one. |
Oct 7 |
awarded | Nice Answer |
Oct 7 |
comment |
Why do roots of polynomials tend to have absolute value close to 1?
@Joël: I myself wouldn't rate this question as highly as it is, I think we're all victims of the scale-free networks. If I had to guess what makes it interesting: it is easy to understand (and thereby very likely not "research level") and it sparks ideas in people's minds because it looks like it is within reach of a good coffee break discussion. |
Oct 6 |
comment |
Why do roots of polynomials tend to have absolute value close to 1?
If your distribution of coefficients or the zeroes is symmetric with respect to the imaginary axis then the results should likewise be symmetric. I would suspect that something is amiss with your simulations. |
Oct 5 |
comment |
Does existence of $\omega_1$ subset of reals imply $\omega_1$ choice for subsets of reals?
Indeed, my brain is running in circles trying to get $\omega_1$ embedded in $\mathbb{R}$, or $\mathcal{P}(\omega)$, or $\mathbb{R} \times \mathbb{R}$, or some such. Intriguing. |
Oct 5 |
comment |
Does existence of $\omega_1$ subset of reals imply $\omega_1$ choice for subsets of reals?
Can someone explain why I am wrong to think that $\mathbb{R}$ always has a subset of cardinality $\omega_1$? |
Oct 5 |
comment |
Why do roots of polynomials tend to have absolute value close to 1?
I think this argument explains why I am not getting a uniform distribution of the roots, but does not actually explain why they are all so close to the unit circle. |
Oct 5 |
comment |
Why do roots of polynomials tend to have absolute value close to 1?
@misterbee: I don't know about "extremely" misleading, but thanks for pointing it out. I fixed the title. |
Oct 5 |
revised |
Why do roots of polynomials tend to have absolute value close to 1?
edited title |
Oct 5 |
comment |
Why do roots of polynomials tend to have absolute value close to 1?
That's a very good explanation too. |
Oct 5 |
awarded | Favorite Question |
Oct 5 |
awarded | Famous Question |
Oct 5 |
awarded | Great Question |