Gigili

3,124 reputation

724

bio	website
	location
	age
visits	member for	1 year, 11 months
	seen	19 hours ago
stats	profile views	2,063

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.

	3,124 reputation	bio	website		visits	member for	1 year, 11 months
724 badges		location			seen	19 hours ago

summary answers questions tags badges favorites 2 bounties reputation activity

471 Comments

suggestions reviews revisions comments badges posts accepts all

19h	comment	properties of recursively enumerable sets Thank you, could you define the numeral for number x?
19h	comment	Recursive function with code $n$, whose output is the number $n$ itself Thank you for the hint @tci.
1d	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?
1d	comment	Decidability and undecidability of a set or language Thank you. So you're saying that they're not decidable?
1d	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.
2d	comment	Is $\{(x, y) \mid y \in \text{Range}(\phi_x)\}$ decidable? Very well explained, thank you.
2d	comment	decidability of $\{x\|W_x \text{is different from K in only finitely many elements}\}$ Thank you for your complete answer. Could you please tell me how you come up with the above partial computable function? And I don't know how you applied s-m-n theorem, the one I know is quite different, could you state the theorem?
2d	comment	A definite multiple integral It's recommended to type your question rather than uploading an image as you did, that way other people can search for your problem if they have the same question.
2d	comment	Legendre symbol proof What exactly is the question? It's not easy to follow.
May 15	comment	properties of recursively enumerable sets @CarlMummert: I've removed the tag, but I thought it was more related to computer science than mathematics.
May 15	comment	Is the difference of two recursively enumerable sets, reducible to $K$? Ah yes, that's what we use (r.e.). Thanks.
May 15	comment	Is the difference of two recursively enumerable sets, reducible to $K$? Thanks a lot for your answer. What does c.e. stand for?
May 13	comment	Decidability and undecidability of a set or language @robjohn: I'd rather keep number one and two here so that Hagen's answer is still valid. Thank you for your help.
May 11	comment	Rice’s theorem and recursion theorem I thought that was another question. The other one is deleted now, sorry everyone.
May 11	comment	non-recursive function @QuinnCulver: What do you mean? Are you saying there is a relationship between this problem and the halting problem?
Mar 17	comment	Prove that $l(\tau\sigma n^{(-1/2)})$ tends to $\chi^2_1(\tau^2)$ That "help" in the title would do nothing for you other than making it less informative.
Mar 12	comment	$z= \frac{u-\overline{u}v}{1-v}$ is real is equivalent to $\|v\|=1$. @Kaster: No, that's because we're a great community and we try to help each other. And more importantly, we appreciate each other's help.
Mar 12	comment	$z= \frac{u-\overline{u}v}{1-v}$ is real is equivalent to $\|v\|=1$. @Kaster: For Michael specifically in this case, and everyone else except you.
Mar 12	comment	$z= \frac{u-\overline{u}v}{1-v}$ is real is equivalent to $\|v\|=1$. @Kaster: I didn't ask for your opinion.
Mar 11	comment	What is the difference between first and second right eigenvectors of a row stochastic matrix and their meaning? Please check that I haven't changed your intended meaning unintentionally.