3,153 reputation
825
bio website
location
age
visits member for 1 year, 11 months
seen 7 hours ago
stats profile views 2,069

One Hour Translation provides High quality, Fast, 24x7 Professional Human Translation at competitive fixed price of over 57 languages and over 2000 language pairs. They are able to provide high-quality translations around the clock, any day, any time thanks to a community of over 10000 Professional Translators from over 100 different countries.


I write to discover what I think.


9h
asked Time complexity of the described DTM
1d
awarded  Constituent
1d
accepted Decidability and undecidability of a set or language
1d
awarded  Nice Answer
May
19
accepted properties of recursively enumerable sets
May
18
comment properties of recursively enumerable sets
Thank you, could you define the numeral for number x?
May
18
accepted Recursive function with code $n$, whose output is the number $n$ itself
May
18
comment Recursive function with code $n$, whose output is the number $n$ itself
Thank you for the hint @tci.
May
17
revised Decidability and undecidability of a set or language
added 1 characters in body
May
17
comment Decidability and undecidability of a set or language
I don't understand very well, how the set you defined is equal to the set $A$ in my question?
May
17
comment Decidability and undecidability of a set or language
Thank you. So you're saying that they're not decidable?
May
17
asked Recursive function with code $n$, whose output is the number $n$ itself
May
17
comment decidability of $\{x|W_x \text{is different from K in only finitely many elements}\}$
I asked another question about two decidable sets, I'd be grateful if you could provide a detailed argument for them as well. In case you want to, of course. Thanks anyway.
May
17
awarded  Benefactor
May
17
accepted Is the difference of two recursively enumerable sets, reducible to $K$?
May
17
revised Is $\{(x, y) \mid y \in \text{Range}(\phi_x)\}$ decidable?
added 11 characters in body
May
17
accepted decidability of $\{x|W_x \text{is different from K in only finitely many elements}\}$
May
16
comment Is $\{(x, y) \mid y \in \text{Range}(\phi_x)\}$ decidable?
Very well explained, thank you.
May
16
accepted Is this language decidable?
May
16
accepted Is $\{(x, y) \mid y \in \text{Range}(\phi_x)\}$ decidable?