Skip to main content
Bjørn Kjos-Hanssen's user avatar
Bjørn Kjos-Hanssen's user avatar
Bjørn Kjos-Hanssen's user avatar
Bjørn Kjos-Hanssen
  • Member for 14 years, 9 months
  • Last seen this week
comment
Oracle, Relativization, and P vs NP, [Philosophical]
There is probably no function $f$ such that $f(A,X)=A^X$.
comment
Testing for a change in mean in a time series
Question - why do you not want to assume the observations are independent?
comment
Probability calculation, system uptime, likelihood of occurence.
Then since 15 seconds is very little compared to 5 hours, there is a very small probability that the user tries to access the system just as it is switching between up and down, so the probability of running into a system that is down is still about 1.59%...
Loading…
awarded
revised
Turing degrees of nonstandard models of PA
added 697 characters in body
Loading…
answered
Loading…
awarded
awarded
awarded
revised
Martin's cone theorem and recursion theory
added assumption of Projective Determinacy
Loading…
comment
Martin's cone theorem and recursion theory
If we just want a set that contains no largest cone (i.e., no smallest base) then we can take the nonzero degrees, i.e., those $\mathbf a$ with $\mathbf a>\mathbf 0$.
comment
Martin's cone theorem and recursion theory
Reimann and Slaman show that there is a cone consisting of continuously random reals. However they then show that every non-$\Delta^1_1$ real is continuously random. So Kleene's $\mathcal O$ is a fairly natural base for such a cone.
revised
Loading…
answered
Loading…
answered
Loading…
awarded
revised
Strongly correlated? Terminology question
added 202 characters in body
Loading…
revised
Strongly correlated? Terminology question
deleted 268 characters in body
Loading…
comment
Strongly correlated? Terminology question
@James Martin: I think you're right, I'll update the question...
1
72 73
74
75 76
84