Check out http://theoreticalphysics.stackexchange.com!
Jul
2
awarded Curious
Jul
2
awarded Curious
Jun
28
revised Assigning probability to membership in an NP-complete language
added 672 characters in body
Jun
25
accepted Are there "non-constructive" sets in second-order arithmetic?
Jun
21
revised Assigning probability to membership in an NP-complete language
added 1314 characters in body
Jun
15
revised Assigning probability to membership in an NP-complete language
added 40 characters in body
Jun
15
comment Assigning probability to membership in an NP-complete language
@RickyDemer: You're absolutely right, the claim as it stands is false e.g. you can take a complete language which contains strings of only even length. Thx!
Jun
6
asked Assigning probability to membership in an NP-complete language
May
17
awarded Yearling
May
16
revised Are there "non-constructive" sets in second-order arithmetic?
added 27 characters in body
May
16
comment Are there "non-constructive" sets in second-order arithmetic?
@WeiWang: $\psi$ is also supposed to be a formula of second order arithmetic. Amended the text to make it explicit.
May
16
asked Are there "non-constructive" sets in second-order arithmetic?
Apr
23
awarded Popular Question
Apr
2
awarded Supporter
Feb
6
awarded Good Question
Jan
29
awarded Student
Jan
29
asked How strong is equivalence of lambda expressions?
Jan
27
awarded Supporter
Jan
1
awarded Supporter
Oct
28
awarded Yearling
1 2 3 4 5