11,399 reputation
2860
bio website andrej.com
location Slovenia
age 43
visits member for 4 years
seen 9 hours ago

I am a professional mathematician and theoretical computer scientist (what is the difference?) . My area of work is a mix of logic, semantics, programming languages, category theory, constructive mathematics and computability.


9h
comment Do Genetic Algorithms Expect a Independent Search Space
You definitely do not mean "separable", see en.wikipedia.org/wiki/Separable_space
Sep
13
comment If both $L$ and $L_1$ are regular, does it follow that $L \diamond L_1$ is regular?
This belongs on cs.stackexchange.com, please ask there.
Sep
10
revised Computability of infinite-dimensional vector space
added 37 characters in body
Sep
9
revised Computability of infinite-dimensional vector space
added 281 characters in body
Sep
9
revised Computability of infinite-dimensional vector space
added 28 characters in body
Sep
9
comment Computability of infinite-dimensional vector space
@EmilJeřábek: that's the boring case. The interesting case is when you throw in completeness, say an infinite-dimensional Hilbert space or a Banach space.
Sep
9
answered Computability of infinite-dimensional vector space
Sep
6
comment How to analyze the quality of data definition language?
Ok, to be more constructive: I think it would be better to rephrase the question as a reference request. State a specific problem (such as "how to analyze the efficiency of various data definition languages in practice") and see what references you get. The way the question is stated now just asks for people's opinions.
Sep
6
comment How to analyze the quality of data definition language?
What are you asking, precisely? The question in the title is too unspecified, and in any case is not research-level.
Sep
3
revised Call-by-push-value's denotational semantics of “thunk diverge”
deleted 3 characters in body
Sep
3
comment Call-by-push-value's denotational semantics of “thunk diverge”
Sure, an example of that is the coalesced sum.
Sep
2
comment Call-by-push-value's denotational semantics of “thunk diverge”
Identifying all the least elements is a bit drastic. It would turn the predomain of natural numbers, which is flat, into a signleton. When turning a predomain into a domain we should seek an adjoint tothe forgetful functor. Lifting is such an adjoint.
Sep
2
answered Call-by-push-value's denotational semantics of “thunk diverge”
Aug
30
comment What is necessary and/or sufficient requirement for a subring of a field to be computable?
In these sorts of questions I find that the OP often does not really know what it means for a structure to be computable (present company excluded, of course). I think part of the problem is that people know too little about computability on mathematical structure to be even able to ask the question. For instance, this question seems to ask what might be some algebraic conditions on a ring to make it computable. The answer is: without further restrictions (such as "equality must be decidable") every ring can be equipped with a computable structure, albeit the trivial one.
Aug
29
awarded  Nice Answer
Aug
29
revised What is necessary and/or sufficient requirement for a subring of a field to be computable?
added 294 characters in body
Aug
29
comment What is necessary and/or sufficient requirement for a subring of a field to be computable?
Specifically, three people think that this question deserves closing because it is "too broad". But it is not. It is very specific, except that most people won't know how to formulate the concepts involved, in particular it would be helpful to explain what a "computable" ring is.
Aug
29
comment What is necessary and/or sufficient requirement for a subring of a field to be computable?
No need to close, this could go to Mathoverflow or here.
Aug
29
answered What is necessary and/or sufficient requirement for a subring of a field to be computable?
Aug
28
awarded  Yearling