17,727 reputation
343102
bio website andrej.com
location Ljubljana
age 43
visits member for 5 years
seen 3 hours ago
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.

1d
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?"
1d
answered Topological characterization of injective metric spaces
1d
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
Oct
3
awarded  Notable Question