2 added 91 characters in body
source | link

The fact that there is an Area 51 proposal for TCS shouldn't mean it can't be discussed here. TCS is essentially mathematics, and there are likely to be a lot of theoretical computer scientists hanging around here as well. Computability theory is highly connected to logic, for instance; a lot of us here would probably be interested in that sort of thing. The solution to Hilbert's tenth problem shows that it is also connected to number theory.

My guess is that specific questions ("Does anyone see a way to improve this algorithm?") would be better off on the other site (once it does become operational, which may take some time), while more general ones ("Intuition for the proof that NL=coNL," "Conditions under which BPP=P") should be welcome here.

The fact that there is an Area 51 proposal for TCS shouldn't mean it can't be discussed here. TCS is essentially mathematics, and there are likely to be a lot of theoretical computer scientists hanging around here as well. Computability theory is highly connected to logic, for instance; a lot of us here would probably be interested in that sort of thing.

My guess is that specific questions ("Does anyone see a way to improve this algorithm?") would be better off on the other site (once it does become operational, which may take some time), while more general ones ("Intuition for the proof that NL=coNL," "Conditions under which BPP=P") should be welcome here.

The fact that there is an Area 51 proposal for TCS shouldn't mean it can't be discussed here. TCS is essentially mathematics, and there are likely to be a lot of theoretical computer scientists hanging around here as well. Computability theory is highly connected to logic, for instance; a lot of us here would probably be interested in that sort of thing. The solution to Hilbert's tenth problem shows that it is also connected to number theory.

My guess is that specific questions ("Does anyone see a way to improve this algorithm?") would be better off on the other site (once it does become operational, which may take some time), while more general ones ("Intuition for the proof that NL=coNL," "Conditions under which BPP=P") should be welcome here.

1
source | link

The fact that there is an Area 51 proposal for TCS shouldn't mean it can't be discussed here. TCS is essentially mathematics, and there are likely to be a lot of theoretical computer scientists hanging around here as well. Computability theory is highly connected to logic, for instance; a lot of us here would probably be interested in that sort of thing.

My guess is that specific questions ("Does anyone see a way to improve this algorithm?") would be better off on the other site (once it does become operational, which may take some time), while more general ones ("Intuition for the proof that NL=coNL," "Conditions under which BPP=P") should be welcome here.